The C programming language
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
Properties of a Notation for Combining Functions
Journal of the ACM (JACM)
Automatic Derivation of Code Generators from Machine Descriptions
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Design and Application of a Retargetable Peephole Optimizer
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deriving Target Code as a Representation of Continuation Semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
The denotational semantics of programming languages
Communications of the ACM
Communications of the ACM
Automatic generation of efficient lexical processors using finite state techniques
Communications of the ACM
A new method for compiler code generation
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Advice on structuring compilers and proving them correct
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Semantics-Directed Compiler Generation: Proceedings
Semantics-Directed Compiler Generation: Proceedings
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
A Theory of Programming Language Semantics
A Theory of Programming Language Semantics
Compiler Design Theory
Compiler Construction for Digital Computers
Compiler Construction for Digital Computers
A semantics-directed compiler generator
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
Compiler Generation from Formal Definition of Programming Languages: A Survey
Proceedings of the International Colloquium on Formalization of Programming Concepts
Historical Remarks on Compiler Construction
Compiler Construction, An Advanced Course, 2nd ed.
Transforming denotational semantics into practical attribute grammars
Semantics-Directed Compiler Generation, Proceedings of a Workshop
Specification of compilers as abstract data type representations
Semantics-Directed Compiler Generation, Proceedings of a Workshop
Invited papers: History of writing compilers
ACM '62 Proceedings of the 1962 ACM national conference on Digest of technical papers
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
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Compilation of functional languages by program transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Denotational semantics of a goal-directed language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Semantics-directed code generation
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Semantics directed compiling for functional languages
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Action semantics-directed prototyping
Computer Languages
| Hi-index | 0.01 |