Laurian M. Chirica, David F. Martin. Toward Compiler Implementation Correctness Proofs. ACM Transactions on Programming Languages and Systems, 8(2):185-214, 1986. [doi]
No references recorded for this publication.
No citations of this publication recorded.