Correctness proofs of syntax-directed processing descriptions by attributes
作者：
Highlights：
•
摘要
A method is presented for correctness proofs of text processing descriptions, using Knuth's semantic attributes. The method is applied to examples dealing with compiler optimizations and in particular to the equivalence demonstration of descriptions by attributes.
论文关键词：
论文评审过程：Received 10 December 1976, Revised 2 October 1978, Available online 2 December 2003.
论文官网地址：https://doi.org/10.1016/0022-0000(79)90009-6
