Proof methods of declarative properties of definite programs
- 27 September 1993
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 118 (2) , 99-166
- https://doi.org/10.1016/0304-3975(93)90107-5
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- An operational formal definition of PROLOG: a specification method and its applicationNew Generation Computing, 1992
- Equivalent logic programsThe Journal of Logic Programming, 1990
- Inductive assertion method for logic programsTheoretical Computer Science, 1988
- Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programmingInformation and Computation, 1988
- Error diagnosis in logic programming an adaptation of E.Y. Shapiro's methodThe Journal of Logic Programming, 1987
- Relating logic programs and attribute grammarsThe Journal of Logic Programming, 1985
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- Derivation of Logic ProgramsJournal of the ACM, 1981
- Soundness and Completeness of an Axiom System for Program VerificationSIAM Journal on Computing, 1978
- Some transformations for developing recursive programsPublished by Association for Computing Machinery (ACM) ,1975