On Specification Frameworks and Deductive Synthesis of Logic Programs
暂无分享，去创建一个
[1] Kung-Kiu Lau,et al. The Halting Problem for Deductive Synthesis of Logic Programs , 1994, ICLP.
[2] Yves Deville,et al. Logic Program Synthesis , 1994, J. Log. Program..
[3] Kung-Kiu Lau,et al. An Incompleteness Result for Deductive Synthesis of Logic Programs , 1993, ICLP.
[4] Zohar Manna,et al. The deductive foundations of computer programming - a one-volume version of "The logical basis for computer programming" , 1993 .
[5] Martin Wirsing,et al. Algebraic Specification , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[6] Kenneth Kunen,et al. Negation in Logic Programming , 1987, J. Log. Program..
[7] José Meseguer,et al. Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics , 1987, Research Directions in Object-Oriented Programming.
[8] José Meseguer,et al. EQLOG: Equality, Types, and Generic Modules For Logic Programming , 1986, Logic Programming: Functions, Relations, and Equations.
[9] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.
[10] Alberto Bertoni,et al. On the power of model theory in specifying abstract data types and in capturing their recursiveness , 1983 .
[11] Keith L. Clark,et al. A First Order Theory of Data and Programs , 1977, IFIP Congress.
[12] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .