Sciweavers

Share
ICCL
1992
IEEE

An automatically generated and provably correct compiler for a subset of Ada

10 years 3 months ago
An automatically generated and provably correct compiler for a subset of Ada
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code for an abstract RISC machine language that currently is assembled into code for the SPARC and the HP Precision Architecture. The generated code is an order of magnitude better than what is produced by compilers generated by the classical systems of Mosses, Paulson, and Wand. The use of action semantics makes the processable language specification easy to read and pleasant to work with. In Proc. ICCL'92, Fourth IEEE International Conference on Computer Languages, pages 117
Jens Palsberg
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1992
Where ICCL
Authors Jens Palsberg
Comments (0)
books