Constructing Call-by-Value Continuation Semantics

Ravi Sethi, Adrian Tang

Research output: Contribution to journalArticle

9 Scopus citations

Abstract

The problem of transforming one semantic description for a language into another related description of the same language is considered. 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. MiMe and Reynolds have defined predicates which can be used to relate the two kinds of function values. Starting with such predicates, transformations are defined, and it is then shown 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)
Pages (from-to)580-597
Number of pages18
JournalJournal of the ACM (JACM)
Volume27
Issue number3
DOIs
StatePublished - Jul 1 1980
Externally publishedYes

Keywords

  • continuation semantics
  • denotational semantics
  • direct semantics
  • directed complete relations
  • inclusive predicates
  • reflexive domains
  • transformations between semantic descriptions

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Software
  • Information Systems
  • Hardware and Architecture
  • Artificial Intelligence

Fingerprint Dive into the research topics of 'Constructing Call-by-Value Continuation Semantics'. Together they form a unique fingerprint.

  • Cite this