From standard to implementation denotational semantics

Loops in combinator-based compilers

POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Semantics-directed machine architecture

POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Completion semantics and interpreter generation

POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I

Experience with an experimental compiler generator based on denotational semantics

SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction

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