Proving a compiler correct: A simple approach
作者：
Highlights：
•
摘要
The paper shows how compiler correctness can be proved, provided that semanticsof the source language is defined by recursion on the definition of its syntax. The exposition is done by way of an easy example.
论文关键词：
论文评审过程：Received 11 February 1974, Available online 27 December 2007.
论文官网地址：https://doi.org/10.1016/S0022-0000(75)80007-9
