Type-based diagnosis of CLP programs

Electronic Notes in Theoretical Computer Science

Volumn 30, Issue 4, 2000, Pages 215-234

  Drabent, Wlodzimierz ^a,b   Maluszyński, Jan ^a   Pietrzak, Pawel ^a,c  

^a LINKÖPING UNIVERSITY   (Sweden)

^b INSTITUTE OF COMPUTER SCIENCE   (Poland)

^c POZNAN UNIVERSITY OF TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATION; COMPUTER PROGRAMMING LANGUAGES; ERROR ANALYSIS; GRAPHICAL USER INTERFACES; PROGRAM DEBUGGING; SEMANTICS; SOFTWARE PROTOTYPING; SPECIFICATIONS;

CHIP - PROGRAMMING LANGUAGE; CLP PROGRAMS; DOMAIN VARIABLES; PROGRAM FRAGMENTS;

LOGIC PROGRAMMING;

EID: 0347717915     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80659-0     Document Type: Conference Paper

References (26)

1. A. Bossi and N. Cocco. Verifying correctness of logic programs. In Proceedings of the International Joint Conference on Theory and Practice of Software Development TAPSOFT '89, vol. 2, pages 96-110. LNCS, Springer-Verlag, 1989.
2. F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. Hermenegildo, J. Maluszynski, and G. Puebla. On the role of semantic approximations in validation and diagnosis of constraint logic programs. In M. Kamkar, editor, Proceedings AADEBUG'97, Linkoping University Electronic Press, 1997. http://www.ida.liu.se/ ext/cgi-bin/epa/cis/.
3. M. Comini, W. Drabent, J. Maluszyński, and P. Pietrzak. A type-based diagnoser for CHIP. ESPRIT DiSCiPl deliverable, September 1998. http://discipl.inria.fr/.
4. M. Comini, W. Drabent, and P. Pietrzak. Diagnosis of CHIP programs using type information. In Proceedings of APPIA-GULP-PRODE'99 - 1999 Joint Conference on Declarative Programming, L'Aquila, Italy, 1999. (Preliminary version appeared in Proceedings of Types for Constraint Logic Programming, post-conference workshop of JICSLP'98, Manchester, 1998).
5. (Preliminary version appeared in Proceedings of Types for Constraint Logic Programming, post-conference workshop of JICSLP'98, Manchester, 1998).
6. Clark K.L. Predicate logic as computational formalism. Technical Report 79/59. December 1979;Imperial College, London
7. Comini M., Levi G., Meo M.C., Vitiello G. Abstract diagnosis. Journal of Logic Programming. 39:(1-3):1999;43-95
8. Cosytec SA. CHIP System Documentation, 1996.
9. Deransart P. Proof methods of declarative properties of definite programs. Theoretical Computer Science. 118:1993;99-166
10. Drabent W., Maluszyński J. Inductive Assertion Method for Logic Programs. Theoretical Computer Science. 59:(1):1988;133-155
11. Drabent W., Maluszyński J., Pietrzak P. Locating type errors in untyped CLP programs. Deransart P., Hermenegildo M., Maluszyński J. Analysis and Visualization Tools for Constraint Programming. 2000;LNCS. Springer Verlag. to appear
12. W. Drabent and P. Pietrzak. Inferring call and success types for CLP programs. ESPRIT DiSCiPl deliverable, September 1998. http://discipl.inria.fr/.
13. W. Drabent and P. Pietrzak. Type Analysis for CHIP. In A.M. Haeberer, editor, Proc. of the Seventh International Conference on Algebraic Methotology and Software Technology (AMAST'98), volume 1548 of LNCS, pages 389-405. Springer-Verlag, 1999.
14. Dart P., Zobel J. A regular type language for logic programs. Pfenning F. Types in Logic Programming. 1992;157-187 MIT Press
15. Gallagher J., de Waal D.A. Fast and Precise Regular Approximations of Logic Programs. Van Hentenryck P. Proc. of the Eleventh International Conference on Logic Programming. 1994;599-613 MIT Press
16. Gécseg F., Steinby M. Tree languages. Rozenberg G., Salomaa A. Handbook of Formal Languages. volume 3, Beyond Words:1997;Springer-Verlag
17. Hermenegildo M., Puebla G., Bueno F. Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging. Apt K.R., et al. The Logic Programming Paradigm: a 25-Year Perspective. 1999;161-192 LNAI, Springer-Verlag
18. Intelligent Systems Laboratory, Swedish Institute of Computer Science. SICStus Prolog User's Manual 1998.
19. Lloyd J.W. Declarative error diagnosis. New Generation Computing. 5:(2):1987;133-154
20. Lloyd J.W. Foundations of Logic Programming. second, extended edition :1987;Springer-Verlag
21. T.K. Lakshman and U.S. Reddy. Typed Prolog: A semantic reconstruction of the Mycroft-O'Keefe type system. In V. Saraswat and K. Ueda, editors, Proc. of the 8th ILPS, pages 202-217. MIT Press, 1991.
22. P. Mildner. Type Domains for Abstract Interpretation, A Critical Study. PhD thesis, Uppsala University, 1999.
23. Mycroft A., O'Keefe R.A. A Polymorphic Type System for Prolog. Artificial Intelligence. 23:1984;295-307
24. Marriott K., Stuckey P. Programming with Constraints: An Introduction. 1997;MIT Press
25. P. Pietrzak. Static Incorrectness Diagnosis of CLP(FD). Linkoping Studies in Science and Technology, Lie. Thesis no. 742, Linköping University, 1998.
26. E. Y. Shapiro. Algorithmic program debugging. In Proc. Ninth Annual ACM Symp. on Principles of Programming Languages, pages 412-531. ACM Press, 1982.