论文信息 - An Algebraic Approach to Data Types, Program Verification, and Program Synthesis - 字舞流文

An Algebraic Approach to Data Types, Program Verification, and Program Synthesis

Friedrich W. von Henke | Friedrich W. von Henke

[1] Friedrich-Karl Mahn. Primitiv-Rekursive Funktionen auf Termmengen , 1969 .

[2] Robin Milner,et al. Implementation and applications of Scott's logic for computable functions , 1972, Proving Assertions About Programs.

[3] John Darlington,et al. Some transformations for developing recursive programs , 1975 .

[4] John McCarthy,et al. Towards a Mathematical Science of Computation , 1962, IFIP Congress.

[5] Robert S. Boyer,et al. Proving Theorems about LISP Functions , 1973, JACM.

[6] Malcolm Charles Newey. Formal semantics of lisp with applications to program correctness. , 1975 .

[7] Zohar Manna. Knowledge and Reasoning in Program Synthesis , 1974, Programming Methodology.