Constructing call-by-value continuation semantics

Ravi Sethi, Adrian Tang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

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.

Original languageEnglish (US)
Title of host publicationAutomata, Languages and Programming - 6th Colloquium
PublisherSpringer Verlag
Pages556-570
Number of pages15
Volume71 LNCS
ISBN (Print)9783540095101
DOIs
StatePublished - Jan 1 1979
Externally publishedYes
Event6th International Colloquium on Automata, Languages and Programming, ICALP 1979 - Graz, Austria
Duration: Jul 16 1979Jul 20 1979

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume71 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other6th International Colloquium on Automata, Languages and Programming, ICALP 1979
CountryAustria
CityGraz
Period7/16/797/20/79

Fingerprint

Continuation
Semantics
Value Function
Predicate
Testbed
Language

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Sethi, R., & Tang, A. (1979). Constructing call-by-value continuation semantics. In Automata, Languages and Programming - 6th Colloquium (Vol. 71 LNCS, pp. 556-570). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 71 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-09510-1_45

Constructing call-by-value continuation semantics. / Sethi, Ravi; Tang, Adrian.

Automata, Languages and Programming - 6th Colloquium. Vol. 71 LNCS Springer Verlag, 1979. p. 556-570 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 71 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sethi, R & Tang, A 1979, Constructing call-by-value continuation semantics. in Automata, Languages and Programming - 6th Colloquium. vol. 71 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 71 LNCS, Springer Verlag, pp. 556-570, 6th International Colloquium on Automata, Languages and Programming, ICALP 1979, Graz, Austria, 7/16/79. https://doi.org/10.1007/3-540-09510-1_45
Sethi R, Tang A. Constructing call-by-value continuation semantics. In Automata, Languages and Programming - 6th Colloquium. Vol. 71 LNCS. Springer Verlag. 1979. p. 556-570. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-09510-1_45
Sethi, Ravi ; Tang, Adrian. / Constructing call-by-value continuation semantics. Automata, Languages and Programming - 6th Colloquium. Vol. 71 LNCS Springer Verlag, 1979. pp. 556-570 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@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",
year = "1979",
month = "1",
day = "1",
doi = "10.1007/3-540-09510-1_45",
language = "English (US)",
isbn = "9783540095101",
volume = "71 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "556--570",
booktitle = "Automata, Languages and Programming - 6th Colloquium",
address = "Germany",

}

TY - GEN

T1 - Constructing call-by-value continuation semantics

AU - Sethi, Ravi

AU - Tang, Adrian

PY - 1979/1/1

Y1 - 1979/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84933290346&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84933290346&partnerID=8YFLogxK

U2 - 10.1007/3-540-09510-1_45

DO - 10.1007/3-540-09510-1_45

M3 - Conference contribution

SN - 9783540095101

VL - 71 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 556

EP - 570

BT - Automata, Languages and Programming - 6th Colloquium

PB - Springer Verlag

ER -