Transformations and reduction strategies for typed lambda expressions
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Compiler generation from denotational semantics
Methods and tools for compiler construction
Program transformations in a denotational setting
ACM Transactions on Programming Languages and Systems (TOPLAS)
The categorical abstract machine
Proc. of a conference on Functional programming languages and computer architecture
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Correctness of code generation from a two-level meta-language
Proc. of the European symposium on programming on ESOP 86
Pragmatic aspects of two-level denotatonal meta-languages
Proc. of the European symposium on programming on ESOP 86
Abstract interpretation of denotational definitions
3rd annual symposium on theoretical aspects of computer science on STACS 86
Semantics-directed code generation
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Deriving Target Code as a Representation of Continuation Semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Control Flow Aspects of Semantics-Directed Compiling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Principles of Programming Languages
Principles of Programming Languages
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
Compiler generation from denotational semantics
Semantics-Directed Compiler Generation, Proceedings of a Workshop
Expected forms of data flow analyses
Programs as Data Objects, Proceedings of a Workshop
Compiling a functional language
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
The scheme 311 compiler an exercise in denotational semantics
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Super-combinators a new implementation method for applicative languages
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Denotational semantics as a specification of code generators
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
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
Automatic binding time analysis for a typed &lgr;-calculus
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Transformations on higher-order functions
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
| Hi-index | 0.00 |