Author:
Lau Kung-Kiu,Ornaghi Mario
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. J.L. Bates and R.L. Constable. Proofs as programs. ACM TOPLAS 7(1):113–136, 1985.
2. A. Bundy, A. Smaill and G. Wiggins. The synthesis of logic programs from inductive proofs. In J.W. Lloyd, editor, Proc. Esprit Symposium on Computational Logic, pages 135–149, Springer-Verlag, 1990.
3. C.C. Chang and H.J. Keisler. Model Theory. North-Holland, 1973.
4. K.L. Clark. Predicate Logic as a Computational Formalism. Tech. Rep. 79/59, Imperial College, 1979.
5. K.L. Clark. The Synthesis and Verification of Logic Programs. Tech. Rep. 81/36, Imperial College, 1981.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Specifying Compositional Units for Correct Program Development in Computational Logic;Program Development in Computational Logic;2004
2. Logic for Component-Based Software Development;Computational Logic: Logic Programming and Beyond;2002
3. A Technique for Modular Logic Program Refinement;Logic Based Program Synthesis and Transformation;2001
4. On Correct Program Schemas;Logic Program Synthesis and Transformation;1998