Transformations of denotational semantics in semantics directed compiler generation
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Deriving Target Code as a Representation of Continuation Semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Semantics-directed machine architecture
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Specification languages in algebraic compilers
Theoretical Computer Science - Special issue: Algebraic methodology and software technology
An Overview of Compositional Translations
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Control flow aspects of semantics directed compiling (Summary)
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Action semantics in retrospect
Semantics and algebraic specification
Hi-index | 0.00 |