论文信息 - Inductive synthesis of invariant assertions and program functions - 字舞流文

Inductive synthesis of invariant assertions and program functions

V. S. Kostyrko | A. V. Bakulin

[1] Ben Wegbreit,et al. The synthesis of loop predicates , 1974, CACM.

[2] Harlan D. Mills,et al. Structured programming - theory and practice , 1979, The systems programming series.

[3] Zohar Manna,et al. Logical analysis of programs , 1976, CACM.