Programming in Prolog
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
A semantics-directed compiler generator
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Denotational semantics as a specification of code generators
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Control flow aspects of semantics directed compiling (Summary)
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
ALGOL Bulletin
| Hi-index | 0.00 |