CLP(χ) for automatically proving program properties
- 31 December 1998
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 37 (1-3) , 77-93
- https://doi.org/10.1016/s0743-1066(98)10004-3
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Non-linear real constraints in constraint logic programmingPublished by Springer Nature ,2005
- A closer look at declarative interpretationsThe Journal of Logic Programming, 1996
- Constraint logic programming: a surveyThe Journal of Logic Programming, 1994
- Proof methods of declarative properties of definite programsTheoretical Computer Science, 1993
- An introduction to Prolog IIICommunications of the ACM, 1990
- Verifying correctness of logic programsPublished by Springer Nature ,1989
- Inductive assertion method for logic programsTheoretical Computer Science, 1988
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- Formulation of induction formulas in verification of prolog programsPublished by Springer Nature ,1986