Combining semantics with non-standard interpreter hierarchies

Sergei M. Abramov, Robert Glück

11 Citationer (Scopus)

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 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.
OriginalsprogEngelsk
TitelFoundations of Software Technology and Theoretical Computer Science. Proceedings
RedaktørerS. Kapoor, S. Prasad
ForlagSpringer Verlag
Publikationsdato2000
Sider201-213
ISBN (Trykt)3-540-41413-4
DOI
StatusUdgivet - 2000
BegivenhedFoundations of Software Technology and Theoretical Computer Science -
Varighed: 29 nov. 2010 → …

Konference

KonferenceFoundations of Software Technology and Theoretical Computer Science
Periode29/11/2010 → …
NavnLecture notes in computer science
Vol/bind1974
ISSN0302-9743

Citationsformater