Combining semantics with non-standard interpreter hierarchies. Lecture

Abstract. This paper reports on results concerning the combination of non-standard semantics via interpreters. We define what a semantics combination means and identify under which conditions a combination can be realized by computer programs (robustness, safely combinable). We develop the underlying mathematical theory and examine the mean-ing of several non-standard interpreter towers. Our results suggest a tech-nique for the implementation of a certain class of programming language dialects by composing a hierarchy of non-standard interpreters.