A semantics-directed compiler generator

Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars

SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction

A generator for language-specific debugging systems

SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques

A realistic compiler generator based on high-level semantics: another progress report

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Refined types: highly differentiated type systems and their use in the design of intermediate languages

PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation

Incremental dynamic semantics for language-based programming environments

ACM Transactions on Programming Languages and Systems (TOPLAS)

Realistic compilation by program transformation (detailed summary)

POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Static and dynamic semantics processing

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Staging transformations for abstract machines

PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

A self-applicable partial evaluator for the lambda calculus: correctness and pragmatics

ACM Transactions on Programming Languages and Systems (TOPLAS)

SPARE: A Development Environment for Program Analysis Algorithms

IEEE Transactions on Software Engineering

Compiling actions by partial evaluation

FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture

Operational semantics-directed compilers and machine architectures

ACM Transactions on Programming Languages and Systems (TOPLAS)

Attribute grammar paradigms—a high-level methodology in language implementation

ACM Computing Surveys (CSUR)

Semantics-directed code generation

POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

DSL implementation using staging and monads

Proceedings of the 2nd conference on Domain-specific languages

Control Flow Aspects of Semantics-Directed Compiling

ACM Transactions on Programming Languages and Systems (TOPLAS)

Compiler prototyping using formal semantics

SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction

Attribute coupled grammars

SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction

A semantic prototyping system

SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction

Compilers and staging transformations

POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Direct implementation of compiler specifications or the pascal p-code compiler revisited

POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

A truly generative semantics-directed compiler generator

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

An Executable Prolog Semantics

ALGOL Bulletin

DSL implementation using staging and monads

DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2

Semantically Configurable Code Generation

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems

Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software

DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages

Action semantics-directed prototyping

Computer Languages

Code generation for a family of executable modelling notations

Software and Systems Modeling (SoSyM)