Code generation from two-level denotational meta-languages

  • Flemming Nielson
  • Hanne R. Nielson
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 217)


The use of a two-level meta-language in denotational language definitions makes it possible to distinguish between compile-time entities and run-time entities. This is important for language specification and it allows one to formalize Tennents [18] informal distinction between static expressions and expressions. The automatic generation of compilers also benefits from an explicit distinction between run-time and compile-time in the language specification. A theory of abstract interpretation has been developed for the meta-language


Abstract Interpretation Standard Interpretation Abstract Machine Denotational Semantic Primitive Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    A.W. Appel: Semantics-directed code generation, 12. POPL, 315–324 (1985).Google Scholar
  2. [2]
    L. Cardelli: The functional abstract machine, Bell Labs 1984.Google Scholar
  3. [3]
    H. Ganzinger, R. Giegerich, U. Möncke & R. Wilhelm: A truly generative semantics-directed compiler generator, SIGPLAN 82 Symposium on Compiler Construction, 172–184 (1982).Google Scholar
  4. [4]
    N.D. Jones & H. Christiansen: Control flow treatment in a simple semantics directed compiler generator, in: Formal Descriptions of Programming Concepts II' IFIP TC-2 Working Conference (ed. D. Bjørner), North Holland, Amsterdam (1982).Google Scholar
  5. [5]
    U. Kastens: The GAG-system — a tool for Compiler Construction, in: Methods and Tools for Compiler Construction (ed. B. Lorho), Cambridge University Press, 162–182 (1984).Google Scholar
  6. [6]
    P.J. Landin: The mechanical evaluation of expressions, Comput. J. 6, 308–320, 1964.Google Scholar
  7. [7]
    P. Mosses: SIS-semantics implementation system: Reference manual and user guide, Aarhus University (1979).Google Scholar
  8. [8]
    F. Nielson: Abstract interpretation using domain theory, Ph.D. thesis, Edinburgh University (1984).Google Scholar
  9. [9]
    F. Nielson: Abstract interpretation of denotational definitions. Proceedings from STACS, Springer LNCS (1986).Google Scholar
  10. [10]
    F. Nielson: Tensor products generalize the relational data flow analysis method, 4th Hungarian Conference on Computer Science, 1985.Google Scholar
  11. [11]
    F. Nielson: Expected forms of data flow analyses, these proceedings.Google Scholar
  12. [12]
    F. Nielson: Correctness of code generation from a two-level denotational meta-language, (Extended abstract-Preliminary version), Aalborg University Centre (1985).Google Scholar
  13. [13]
    H.R. Nielson & F. Nielson: Pragmatic aspects of two-level denotational meta-languages, Aalborg University Centre (1985).Google Scholar
  14. [14]
    L. Paulson: Compiler generation from denotational semantics, in: Methods and Tools for Compiler Construction (ed: B. Lorho), Cambridge University Press, 219–250 (1984).Google Scholar
  15. [15]
    K.J. Räihä: Attribute grammar design using the compiler writing system HLP, in: Methods and Tools for Compiler Construction (ed: B. Lorho), Cambridge University Press, 183–206 (1984).Google Scholar
  16. [16]
    R. Sethi: Control flow aspects of semantics directed compiling, ACM TOPLAS 5:4, 554–595 (1983).Google Scholar
  17. [17]
    M.B. Smyth & G.D. Plotkin: The category-theoretic solution of recursive domain equations, SIAM J. Comput. 11:4, 761–783 (1982).Google Scholar
  18. [18]
    R.D. Tennent: Principles of Programming Languages, Prentice Hall (1981).Google Scholar
  19. [19]
    M. Wand: Deriving target code as a representation continuation semantics, ACM TOPLAS 4:3, 496–517 (1982).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Flemming Nielson
    • 1
  • Hanne R. Nielson
    • 1
  1. 1.Institute of Electronic SystemsAalborg University CentreAalborg CDenmark

Personalised recommendations