More Advice on Proving a Compiler Correct: Improve a Correct Compiler (1994)

Cached

Download Links

by E. Meijer , E. Meijer
Citations:11 - 1 self

Active Bibliography

12 An Automatically Generated and Provably Correct Compiler for a Subset of Ada – Jens Palsberg - 1992
26 A Provably Correct Compiler Generator – Jens Palsberg - 1992
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
1 Abstract Interpretation and Attribute Grammars – Mads Rosendahl, Clare Hall - 1992
21 Proving the Correctness of Storage Representations – Mitchell Wand, Mitchell W, Dino P. Oliva
1 Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages – Patricia Johann, John Launchbury - 1997
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
23 Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation – Olivier Danvy, RenĂ© Vestergaard
93 Polytypic programming – Patrik Jansson - 2000
2 From Interpreter to Compiler using Staging and Monads – Tim Sheard, Zine-el-abidine Benaissa - 1998
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
456 Comprehending Monads – Philip Wadler - 1992
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
13 Fine Control of Demand in Haskell – William Harrison, Tim Sheard, James Hook - 2002
35 Semantic Lego – David Espinosa - 1995
15 DSL Implementation Using Staging and Monads – Tim Sheard, Zine-el-abidine Benaissa, Emir Pasalic - 1999
Interpretational Overhead in system software – Boris Feigin - 2011