Standard
Combining semantics with non-standard interpreter hierarchies. / Abramov, Sergei M.; Glück, Robert.
Foundations of Software Technology and Theoretical Computer Science. Proceedings. ed. / S. Kapoor; S. Prasad. Springer Verlag, 2000. p. 201-213 (Lecture notes in computer science, Vol. 1974).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Abramov, SM
& Glück, R 2000,
Combining semantics with non-standard interpreter hierarchies. in S Kapoor & S Prasad (eds),
Foundations of Software Technology and Theoretical Computer Science. Proceedings. Springer Verlag, Lecture notes in computer science, vol. 1974, pp. 201-213, Foundations of Software Technology and Theoretical Computer Science,
29/11/2010.
https://doi.org/10.1007/3-540-44450-5_16APA
Abramov, S. M.
, & Glück, R. (2000).
Combining semantics with non-standard interpreter hierarchies. In S. Kapoor, & S. Prasad (Eds.),
Foundations of Software Technology and Theoretical Computer Science. Proceedings (pp. 201-213). Springer Verlag. Lecture notes in computer science Vol. 1974
https://doi.org/10.1007/3-540-44450-5_16Vancouver
Abramov SM
, Glück R.
Combining semantics with non-standard interpreter hierarchies. In Kapoor S, Prasad S, editors, Foundations of Software Technology and Theoretical Computer Science. Proceedings. Springer Verlag. 2000. p. 201-213. (Lecture notes in computer science, Vol. 1974).
https://doi.org/10.1007/3-540-44450-5_16Author
Abramov, Sergei M. ; Glück, Robert. / Combining semantics with non-standard interpreter hierarchies. Foundations of Software Technology and Theoretical Computer Science. Proceedings. editor / S. Kapoor ; S. Prasad. Springer Verlag, 2000. pp. 201-213 (Lecture notes in computer science, Vol. 1974).
Bibtex
@inproceedings{7549bcb0b8bd11debc73000ea68e967b,
title = "Combining semantics with non-standard interpreter hierarchies",
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.",
author = "Abramov, {Sergei M.} and Robert Gl{\"u}ck",
year = "2000",
doi = "10.1007/3-540-44450-5_16",
language = "English",
isbn = "3-540-41413-4",
series = "Lecture notes in computer science",
publisher = "Springer Verlag",
pages = "201--213",
editor = "S. Kapoor and S. Prasad",
booktitle = "Foundations of Software Technology and Theoretical Computer Science. Proceedings",
note = "null ; Conference date: 29-11-2010",
}
RIS
TY - GEN
T1 - Combining semantics with non-standard interpreter hierarchies
AU - Abramov, Sergei M.
AU - Glück, Robert
PY - 2000
Y1 - 2000
N2 - 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.
AB - 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.
U2 - 10.1007/3-540-44450-5_16
DO - 10.1007/3-540-44450-5_16
M3 - Article in proceedings
SN - 3-540-41413-4
T3 - Lecture notes in computer science
SP - 201
EP - 213
BT - Foundations of Software Technology and Theoretical Computer Science. Proceedings
A2 - Kapoor, S.
A2 - Prasad, S.
PB - Springer Verlag
Y2 - 29 November 2010
ER -
