IEEE - Institute of Electrical and Electronics Engineers, Inc. - An automatically generated and provably correct compiler for a subset of Ada

Author(s): Palsberg, J.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1992
Conference Location: Oakland, CA, USA
Conference Date: 20 April 1992
Page(s): 117 - 126
ISBN (Paper): 0-8186-2585-6
DOI: 10.1109/ICCL.1992.185474
Regular:

The automatic generation of a provably correct compiler for a nontrivial subset of Ada is described. The compiler is generated from an action semantic description; it emits absolute code for an... View More

Advertisement