Program Specification and Synthesis in Constructive Formal Systems
暂无分享,去创建一个
[1] Pierangelo Miglioli,et al. Constructive Theories with Abstract Data Types for Program Synthesis , 1987 .
[2] Shigeki Goto,et al. Program Synthesis from Natural Deduction Proofs , 1979, IJCAI.
[3] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.
[4] Pierangelo Miglioli,et al. Semi-Constructive Formal Systems and Axiomatization of Abstract Data Types , 1989, TAPSOFT, Vol.1.
[5] Masahiko Sato,et al. Towards a Mathematical Theory of Program Synthesis , 1979, IJCAI.
[6] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .
[7] Pierangelo Miglioli,et al. A logically justified model of computation II , 1981, Fundam. Informaticae.
[8] Per Martin-Löf,et al. Constructive mathematics and computer programming , 1984 .
[9] Giancarlo Mauri,et al. Abstract Data Types and Their Extensions within a Constructive Logic , 1984, Semantics of Data Types.
[10] Alberto Bertoni,et al. On the power of model theory in specifying abstract data types and in capturing their recursiveness , 1983 .
[11] C. Goad. Computational uses of the manipulation of formal proofs , 1980 .
[12] Robert L. Constable,et al. Proofs as programs , 1985, TOPL.
[13] Alan Bundy,et al. The Synthesis of Logic Programs from Inductive Proofs , 1990 .
[14] S. Hayashi,et al. PX, a computational logic , 1988 .