A canonical form algorithm for proving equivalence of conditional forms
References (2)
A Basis for a mathematical theory of computation
Automatically Providing the Correctness of Translations Involving Optimized Code
Cited by (0)
Copyright © 1978 Published by Elsevier B.V.