Inductive assertion method for logic programs
- 31 July 1988
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 59 (1-2) , 133-155
- https://doi.org/10.1016/0304-3975(88)90099-0
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programmingInformation and Computation, 1988
- A language of specified programsScience of Computer Programming, 1985
- Relating logic programs and attribute grammarsThe Journal of Logic Programming, 1985
- Some global optimizations for a PROLOG compilerThe Journal of Logic Programming, 1985
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- Derivation of Logic ProgramsJournal of the ACM, 1981
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967