Static and Dynamic Semantics Processing

  title={Static and Dynamic Semantics Processing},
  author={Charles Consel and Olivier Danvy},
This paper presents a step forward in the use of partial evaluation for interpreting and compiling programs, as well as for automatically generating a compiler from denotationrd definitions of programming languages. We determine the static and dynamic semantics of a programming language, reduce the expressions representing the static semantics, and generate object code by instantiating the expressions representing the dynamic semantics. By processing the static semantics of the language… CONTINUE READING
38 Citations
7 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 38 extracted citations


Publications referenced by this paper.
Showing 1-7 of 7 references

Analyse de Programmes, Evaluation Par- tielle et Generation de Compilateurs

  • C. Consel
  • PhD thesis, Uni- versit e de Paris VI, Paris…
  • 1989
Highly Influential
12 Excerpts

The TML-approach to compiler-compilers

  • H. R. Nielson, F. Nielson
  • Technical Report 88-47, Technical University of…
  • 1988
Highly Influential
5 Excerpts

Denotational Semantics: a Methodol- ogy for Language Development

  • D. A. Schmidt
  • Allyn and Bacon, Inc.,
  • 1986
Highly Influential
4 Excerpts

De nitional interpreters for higher order programming languages

  • J. Reynolds
  • ACM National Conference, pages 717{740,
  • 1971
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…