A realistic compiler generator based on high-level semantics (1987)

Cached

Download Links

by Peter Lee , Uwe Pleban
Venue:In Fourteenth Symposium on Principles of Programming Languages
Citations:9 - 0 self

Documents Related by Co-Citation

27 A semantics-directed compiler generator – L Paulson - 1982
8 An automatically generated, realistic compiler for an imperative programming language – Uwe F Pleban, Peter Lee - 1988
32 A semantic prototyping system – M Wand - 1984
12 Compiler prototyping using formal semantics – Uwe Pleban - 1984
58 Programming Language Syntax and Semantics – D A Watt - 1991
471 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – Joseph E Stoy - 1981
84 A Theory of Programming Language Semantics – R Milne, C Strachey - 1976
146 A Tutorial on Action Semantics – Peter D Mosses - 1996
325 Denotational Semantics: A Methodology for Language Development – David A Schmidt - 1986
7 Semantics-Directed Code Generation – Andrew W. Appel - 1985
4 A multi-language compiler system with automatically generated codegenerators – Uwe Schmidt, Reinhard Völler - 1984
5 A RISC tutorial – Sun Microsystems - 1988
4 High-level semantics, an integrated approach to programming language semantics and the specification of implementations – Uwe F Pleban, Peter Lee - 1987
2 Towards an algebraic specification of code generation – Rudolf Berghammer, Herbert Ehler, Hans Zierer - 1988
2 Verification of the level 0 compiling specification – Anders Gammelgaard, Flemming Nielson - 1990
5 SIS---semantics implementation system – Peter D Mosses - 1979
2 Precision architecture and instruction – Hewlett Packard - 1987
4 On the use of LISP in implementing denotational semantics – Uwe F Pleban, Peter Lee - 1986
11 A verified compiler for a verified microprocessor – Jeffrey J Joyce - 1989