A Provably Correct Compiler Generator (1992)

Cached

Download Links

by Jens Palsberg
Citations:26 - 2 self

Active Bibliography

12 An Automatically Generated and Provably Correct Compiler for a Subset of Ada – Jens Palsberg - 1992
48 Static and Dynamic Semantics Processing – Charles Consel, Olivier Danvy - 1991
14 Generating Action Compilers by Partial Evaluation – Anders Bondorf, Jens Palsberg - 1996
11 Programming Language Semantics – David A. Schmidt - 1995
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
Provably Correct Systems - FTRTFT'94 Tutorial – Jonathan P. Bowen, C. A. R. Hoare, Michael R. Hansen, Anders P. Ravn, Hans Rischel, Ernst-Rüdiger Olderog, Michael Schenke, Markus Müller-Ulm, Martin Fränzle, Markus Muller-olm, Jifeng He, Zheng Jianping - 1994
8 Action Transformations in the ACTRESS Compiler Generator – Hermano Moura, David A. Watt - 1994
11 More Advice on Proving a Compiler Correct: Improve a Correct Compiler – E. Meijer, E. Meijer - 1994
23 Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation – Olivier Danvy, René Vestergaard
9 Preserving Information during Online Partial Evaluation – Erik Ruf, Daniel Weise - 1992
15 RML -- A New Language and Implementation for Natural Semantics – Mikael Pettersson - 1994
1 The Varieties of Programming Language Semantics And Their Uses – Peter D. Mosses - 2001
9 A Modular SOS for ML Concurrency Primitives – Peter D. Mosses - 1999
6 Formal Semantics of Programming Languages -- An Overview – Peter D. Mosses - 2006
15 The VLISP Verified PreScheme Compiler – Dino P. Oliva, John D. Ramsdell - 1995
1 A verified compiler for VLISP PreScheme – Dino P. Oliva, John D. Ramsdell, Mitchell Wand - 1993
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
1 On Observational Equivalence and Compiler Correctness – Fabio Q. B. Da Silva - 1994
1 Will Informatics be able to Justify the Construction of Large Computer Based Systems? – Wolfgang Goerigk, Hans Langmaack - 2001