Derivation of Logic Programs
作者： C. J. Hogger
关键词: Calculus 、 Program analysis 、 Program derivation 、 Computer science
摘要:
bl.uk
acm.org
sci-hub.se 参考文章(7)
Sharon Sickel, Keith Clark, Predicate logic: a calculus for deriving programs international joint conference on artificial intelligence. pp. 419- 420 ,(1977)
Robert A. Kowalski, Predicate Logic as Programming Language. ifip congress. pp. 569- 574 ,(1974)
Robert Kowalski, Algorithm = logic + control Communications of the ACM. ,vol. 22, pp. 424- 436 ,(1979) , 10.1145/359131.359136
R. M. Burstall, John Darlington, A Transformation System for Developing Recursive Programs Journal of the ACM. ,vol. 24, pp. 44- 67 ,(1977) , 10.1145/321992.321996
J. A. Robinson, A Machine-Oriented Logic Based on the Resolution Principle Journal of the ACM. ,vol. 12, pp. 23- 41 ,(1965) , 10.1145/321250.321253
M. H. Van Emden, R. A. Kowalski, The Semantics of Predicate Logic as a Programming Language Journal of the ACM. ,vol. 23, pp. 733- 742 ,(1976) , 10.1145/321978.321991
Keith L. Clark, Sten-Åke Tärnlund, A First Order Theory of Data and Programs. ifip congress. pp. 939- 944 ,(1977)