论文信息 - A semantic approach to automatic program improvement - 字舞流文

A semantic approach to automatic program improvement

John Darlington | J. Darlington

[1] J. M. Cadiou,et al. Recursive definitions of partial functions and their computations , 1972, Proving Assertions About Programs.

[2] Rod M. Burstall,et al. Proving Properties of Programs by Structural Induction , 1969, Comput. J..

[3] D. C. Cooper. The Equivalence of Certain Computations , 1966, Comput. J..

[4] Claude Berge,et al. Programming, games and transportation networks , 1966 .