Combining Semantics with Non-standard Interpreter Hierarchies

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 meaning of several non-standard interpreter towers. Our results suggest a technique for the implementation of a certain class of programming language dialects by composing a hierarchy of non-standard interpreters.

• Type: Conference
• Year: 2000
• Where: FSTTCS
• Authors: Sergei M. Abramov, Robert Glück
• Keywords: FSTTCS 2000, Non-standard Interpreter Towers, Non-standard Interpreters, Non-standard Semantics, Software Engineering