@inproceedings{96a20e322b454989b878c937a43045ec,
title = "Constructing call-by-value continuation semantics",
abstract = "The primary motivation behind this paper is an interest in transforming one semantic description for a language into another related description of the same language. Since direct and continuation semantics have been studied in some detail, they are obvious test-beds for suggesting the problems that might be encountered in the process. One of the problems is that the semantic objects in two descriptions of a language may be quite dissimilar. For example, function values of procedures in direct semantics are quite different from function values in continuation semantics. Milne and Reynolds have defined predicates which can be used to relate the two kinds of function values. Starting with such predicates we define transformations and then show that the transformations preserve the predicates. The transformations are used to construct continuation semantics, starting from a direct semantics of a language with procedures called by value.",
author = "Ravi Sethi and Adrian Tang",
note = "Publisher Copyright: {\textcopyright} 1979, Springer-Verlag Berlin Heidelberg. All Rights reserved.; 6th International Colloquium on Automata, Languages and Programming, ICALP 1979 ; Conference date: 16-07-1979 Through 20-07-1979",
year = "1979",
doi = "10.1007/3-540-09510-1_45",
language = "English (US)",
isbn = "9783540095101",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "556--570",
editor = "Maurer, {Hermann A.}",
booktitle = "Automata, Languages and Programming - 6th Colloquium",
}