论文信息 - Determinateness of Program Equivalence over Peano Axioms

Determinateness of Program Equivalence over Peano Axioms

Abstract We answer affirmatively a conjecture of J.A. Bergstra et al. [1] showing that the input-output correctness theories determine program equivalence over Peano axioms.

L. Csirmaz

[1] Jan A. Bergstra,et al. Floyd's principle, correctness theories and program equivalence : (preprint) , 1980 .

[2] Jan A. Bergstra,et al. Floyds Principle, Correctness Theories and Program Equivalence , 1982, Theor. Comput. Sci..