Error diagnosis in logic programming, an adaptation of E.Y. Shapiro's method
Journal of Logic Programming
Algorithmic debugging with assertions
Meta-programming in logic programming
Compile-time derivation of variable dependency using abstract interpretation
Journal of Logic Programming
Abstract debugging of higher-order imperative languages
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Proof methods of declarative properties of definite programs
Theoretical Computer Science
Experimental evaluation of a generic abstract interpretation algorithm for PROLOG
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reasoning about termination of pure Prolog programs
Information and Computation
The Go¨del programming language
The Go¨del programming language
Fast and precise regular approximations of logic programs
Proceedings of the eleventh international conference on Logic programming
Global analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Program analysis, debugging, and optimization using the ciao system preprocessor
Proceedings of the 1999 international conference on Logic programming
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Global Analysis of Standard Prolog Programs
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
A Generic Processor for Program Validation and Debugging
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
An Assertion Language for Constraint Logic Programs
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs
LOPSTR'99 Selected papers from the 9th International Workshop on Logic Programming Synthesis and Transformation
Proving Properties of Logic Programs by Abstract Diagnosis
Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages
A Documentation Generator for (C)LP Systems
CL '00 Proceedings of the First International Conference on Computational Logic
Hi-index | 0.00 |
The technique of Abstract Interpretation [11] has allowed the development of sophisticated program analyses which are provably correct and practical. The semantic approximations produced by such analyses have been traditionally applied to optimization during program compilation. However, recently, novel and promising applications ofseman tic approximations have been proposed in the more general context ofprogram validation and debugging [3,9,7].We study the case of(Constrain t) Logic Programs (CLP), motivated by the comparatively large body ofappro ximation domains, inference techniques, and tools for abstract interpretation-based semantic analysis which have been developed to a powerful and mature level for this programming paradigm (see, e.g., [23,8,18,6,12] and their references). These systems can approximate at compiletime a wide range ofprop erties, from directional types to determinacy or termination, always safely, and with a significant degree of precision. Thus, our approach is to take advantage ofthese advances in program analysis tools within the context ofprogram validation and debugging, rather than using traditional proof-based methods (e.g., [1,2,13,17,28]), developing new tools and procedures, such as specific concrete [4,15,16] or abstract [9,10] diagnosers and declarative debuggers, or limiting error detection to run-time checking [28].