Proving a compiler correct: A simple approach

✍ Scribed by G. Germano; A. Maggiolo-Schettini

• Publisher: Elsevier Science
• Year: 1975
• Tongue: English
• Weight: 523 KB
• Volume: 10
• Category: Article
• ISSN: 0022-0000
• DOI: 10.1016/s0022-0000(75)80007-9

✦ Synopsis

The paper shows how compiler correctness can be proved, provided that semantics of the source language is defined by recursion on the definition of its syntax. The exposition is done by way of an easy example.