Automated verification of Prolog programs
- 30 June 1999
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 39 (1-3) , 3-42
- https://doi.org/10.1016/s0743-1066(98)10032-8
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Sequence-based abstract interpretation of PrologTheory and Practice of Logic Programming, 2001
- Automated verification of Prolog programsThe Journal of Logic Programming, 1999
- Norms on terms and their use in proving universal termination of a logic programTheoretical Computer Science, 1994
- Cost analysis of logic programsACM Transactions on Programming Languages and Systems, 1993
- Logic program synthesis from incomplete specificationsJournal of Symbolic Computation, 1993
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- Deriving descriptions of possible values of program variables by means of abstract interpretationThe Journal of Logic Programming, 1992
- A practical framework for theabstract interpretation of logic programsThe Journal of Logic Programming, 1991
- Functional computations in logic programsACM Transactions on Programming Languages and Systems, 1989
- Inductive assertion method for logic programsTheoretical Computer Science, 1988