A canonical form algorithm for proving equivalence of conditional forms

https://doi.org/10.1016/0020-0190(78)90054-6Get rights and content

First page preview

First page preview
Click to open first page preview

References (2)

  • J. McCarthy

    A Basis for a mathematical theory of computation

  • H. Samet

    Automatically Providing the Correctness of Translations Involving Optimized Code

Cited by (0)

View full text