Deriving stack semantics congruent to standard denotational semantics

  • Véronique Royer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 182)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. /Mis/.
    R. Milne & C. Strachey "A theory of programming language semantics". (1976, Chapman and Hall).Google Scholar
  2. /Raskovsky/.
    M. Raskovsky "Denotational Semantics as a Specification of Code Generator". (ACM-SIGPLAN Notices, 17, 6, June 1982).Google Scholar
  3. /Royer/.
    V. Royer "Dérivation par réécriture d'une sémantique à pile congruente à une sémantique standard d'un language de programmation". Forthcoming internal report, January 1985.Google Scholar
  4. /Stoy/.
    J.E. Stoy "Denotational semantics: the Scott-Strachey approach to programming language theory". (MIT Press, 1977).Google Scholar
  5. /Wand/.
    M. Wand "Deriving target code as a representation of continuation semantics". (AMC-TOPLAS, 4, 3, July 1982).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Véronique Royer
    • 1
  1. 1.Onera-Cert-DeriToulouseFrance

Personalised recommendations