ACTRESS: an Action Semantics Directed Compiler Generator (1992)

Cached

Download Links

by Deryck F. Brown , Hermano Moura , David A. Watt
Venue:In Compiler Compilers 92, volume 641 of Lecture Notes in Computer Science
Citations:32 - 4 self

Documents Related by Co-Citation

26 A Provably Correct Compiler Generator – Jens Palsberg - 1992
146 A Tutorial on Action Semantics – Peter D Mosses - 1996
32 A semantic prototyping system – M Wand - 1984
10 Type inference for action semantics – S Even, D A Schmidt - 1990
18 Compiling actions by partial evaluation – Anders Bondorf, Jens Palsberg - 1993
7 Occam: Specification and Compiler Correctness.Part I: The Primary Model – Egon Borger, Igor Durdanovic, Dean Rosenzweig - 1994
73 The WAM---Definition and Compiler Correctness – Egon Borger - 1995
17 Provably correct compiler development and implementation – B Buth, K-H Buth, M Franzle, B v Karger, Y Lakhneche, H Langmaack, M Muller-Olm
58 Programming Language Syntax and Semantics – D A Watt - 1991
26 Abstract semantic algebras – P D Mosses - 1983
12 An Automatically Generated and Provably Correct Compiler for a Subset of Ada – Jens Palsberg - 1992
10 A Compiler Generator for Semantic Grammars – Larry Paulson - 1981
8 Extraction of strong typing laws from action semantics definitions – K-G Doh, D A Schmidt - 1992
53 Realistic Compiler Generation – P Lee - 1989
200 A Meta-Environment for Generating Programming Environments – P Klint - 1993
300 Natural semantics – G. Kahn - 1987
5 Correctness of compiling occam to transputer – E Borger, I Durdanovic - 1996
5 Provably Correct Compiler Implementation – Bettina Buth, Markus Muller-Olm - 1993
12 Modular Compiler Verification – Markus Muller-Olm - 1996