Combining semantics with non-standard interpreter hierarchies
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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.
Originalsprog | Engelsk |
---|---|
Titel | Foundations of Software Technology and Theoretical Computer Science. Proceedings |
Redaktører | S. Kapoor, S. Prasad |
Forlag | Springer Verlag |
Publikationsdato | 2000 |
Sider | 201-213 |
ISBN (Trykt) | 3-540-41413-4 |
DOI | |
Status | Udgivet - 2000 |
Begivenhed | Foundations of Software Technology and Theoretical Computer Science - Varighed: 29 nov. 2010 → … |
Konference
Konference | Foundations of Software Technology and Theoretical Computer Science |
---|---|
Periode | 29/11/2010 → … |
Navn | Lecture notes in computer science |
---|---|
Vol/bind | 1974 |
ISSN | 0302-9743 |
ID: 178450346