Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. K.R. Apt, M.H. Van Emden: Contributions to the theory of Logic Programming. JACM V29, No 3, July 1982 pp 841–862.
2. B. Courcelle, P. Deransart: Proof of partial Correctness for Attribute Grammars with application to Recursive Procedure and Logic Programming. Information and Computation 78, 1, July 1988 (First publication INRIA RR 322-July 1984).
3. K.L. Clark: Predicate Logic as a Computational Formalism. Res. Mon. 79/59 TOC. Imperial College, December 1979.
4. S.A. Cook: Soundness and Completeness of an Axiom System for Programs Verification. SIAM Journal. Comput. V7, no 1, February 1978.
5. B. Courcelle: Attribute Grammars: Definitions, Analysis of Dependencies, Proof Methods. In Methods and Tools for Compiler Construction, CEC-INRIA Course (B. Lorho ed.). Cambridge University Press 1984.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献