Abstract
This chapter describes the use of partial correctness assertions for CLP debugging. These assertions are formed by a set of preconditions and a set of postconditions associated with each predicate used in the program. We present a system with a rich set of primitives (based on constraints and metaproperties) to express the program properties. These primitives are such that they can often be proven efficiently with a local analysis at compile-time. In case of failure of the proof procedure, the program is completed with run-time checks to insure a correct execution.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ferrand, G., Tessier, A.: Positive and Negative Diagnosis for Constraint Logic Programs in terms of proof skeletons. In: AADEBUG 1997 (1997)
Boye, J., Małuszyǹski, J.: Two aspects of Directional Types. In: Proc. Twelfth Int. Conf. on Logic Programming, pp. 747–763. The MIT Press, Cambridge (1995)
Bronsart, F., Lakshman, T.K., Reddy, U.: A framework of directionality for proving termination of logic programs. In: Proc. of JICSLP 1992, pp. 321–335. The MIT Press, Cambridge (1992)
Codognet, P., Filé, G.: Computations, Abstractions and Constraints in Logic Programs. In: International Conference on Computer Language, Oakland (1992)
Deransart, P., Małuszyǹski, J.: A grammatical view of logic programming. The MIT Press, Cambridge (1993)
Drabent, W., Małuszyǹski, J.: Induction assertion method for logic programs. Theorical Computer Science 59, 133–155 (1998)
Ferrand, G.: Error Diagnosis in Logic Programming. Journal of Logic Programming 4, 177–198 (1987)
Le Berre, F., Tessier, A.: Declarative Incorrectness Diagnosis of Constraint Logic Programs. Rapport de Recherche LIFO 95-08 Université d’Orléans (1995)
Vétillard, E.: Utilisation de déclarations en Programmation Logique avec Contraintes, PhD thesis, U. of Aix-Marseilles II (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Laï, C. (2000). Assertions with Constraints for CLP Debugging. In: Deransart, P., Hermenegildo, M.V., Małuszynski, J. (eds) Analysis and Visualization Tools for Constraint Programming. Lecture Notes in Computer Science, vol 1870. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722311_4
Download citation
DOI: https://doi.org/10.1007/10722311_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41137-6
Online ISBN: 978-3-540-40016-5
eBook Packages: Springer Book Archive