Inductive assertion method for logic programs
- 9 June 2005
- book chapter
- Published by Springer Nature
- p. 167-181
- https://doi.org/10.1007/bfb0014980
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Abstract interpretation of Prolog programsLecture Notes in Computer Science, 1986
- A language of specified programsScience of Computer Programming, 1985
- Proving termination of Prolog programsPublished by Springer Nature ,1985
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984
- 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