As (constraint) logic programming (CLP) systems [22] mature and larger applications are built, an increased need arises for advanced development and debugging environments.
|
1266
|
Abstract interpretation : a unified lattice model for the static analysis of programs by construction or approximation of fixpoints
– Cousot, Cousot
- 1977
|
|
655
|
Constraint Logic Programming: A Survey
– Jaffar, Maher
- 1994
|
|
258
|
The Gödel Programming Language
– Hill, Lloyd
- 1994
|
|
154
|
Abstract interpretation: A uni lattice model for static analysis of programs by construction or approximation of
– Cousot, Cousot
- 1977
|
|
146
|
The execution algorithm of Mercury, an efficient purely declarative logic programming language
– Somogyi, Henderson, et al.
- 1996
|
|
119
|
Reasoning about termination of pure PROLOG programs
– Apt, Pedreschi
- 1993
|
|
107
|
de Waal. Fast and Precise Regular Approximations of Logic Programs
– Gallagher, A
- 1994
|
|
104
|
Compile-time Derivation of Variable Dependency Using Abstract Interpretation
– Muthukumar, Hermenegildo
- 1992
|
|
94
|
Experimental Evaluation of a Generic Abstract Interpretation Algorithm for Prolog
– Charlier, Hentenryck
- 1994
|
|
74
|
Reasoning about Prolog programs: from modes through types to assertions
– Apt, Marchiori
- 1994
|
|
70
|
Combined Determination of Sharing and Freeness of Program Variables Through Abstract Interpretation
– Muthukumar, Hermenegildo
- 1991
|
|
67
|
Incremental Analysis of Constraint Logic Programs
– Hermenegildo, Puebla, et al.
- 1996
|
|
62
|
The execution algorithm of Mercury, an ecient purely declarative logic programming language
– Somogyi, Henderson, et al.
- 1996
|
|
42
|
Global Analysis of Standard Prolog Programs
– Bueno, Cabeza, et al.
- 1996
|
|
38
|
Algorithmic Debugging with Assertions
– Drabent, Nadjm-Tehrani, et al.
- 1989
|
|
31
|
Proof methods of declarative properties of definite programs
– Deransart
- 1993
|
|
28
|
On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs
– Bueno, Deransart, et al.
- 1997
|
|
23
|
Proving properties of logic programs by abstract diagnosis
– Comini, Levi, et al.
|
|
23
|
Abstract multiple specialization and its application to program parallelization
– Puebla, Hermenegildo
- 1999
|
|
19
|
The use of assertions in algorithmic debugging
– Drabent, Nadjm-Tehrani, et al.
- 1988
|
|
15
|
Abstract debugging of logic programs
– Comini, Levi, et al.
- 1994
|
|
13
|
Abstract specialization and its application to program parallelization
– Puebla, Hermenegildo
- 1997
|
|
10
|
An Assertion Language for Debugging of Constraint Logic Programs
– Puebla, Bueno, et al.
- 1997
|
|
9
|
Error diagnosis in logic programming
– Ferrand
- 1987
|
|
8
|
Declarative diagnosis of constraint programs: an assertion-based approach
– Boye, Drabent, et al.
- 1997
|
|
6
|
Utilisation de Declarations en Programmation Logique avec Constraintes
– Vetillard
- 1994
|
|
5
|
The CLIP Group. Programming with Global Analysis
– Hermenegildo
- 1997
|
|
5
|
Using Global Analysis, Partial Speci and an Extensible Assertion Language for Program Validation and Debugging
– Hermenegildo, Puebla, et al.
- 1999
|
|
5
|
The CLIP Group. An Automatic Documentation Generator for
– Hermenegildo
- 1997
|
|
4
|
Proof methods of declarative properties of de programs
– Deransart
- 1993
|
|
3
|
CP Debugging Tools: Clarification of Functionalities and Selection of the Tools
– Aggoun, Benhamou, et al.
- 1997
|
|
1
|
CP Debugging Tools: Clari of Functionalities and Selection of the Tools
– Aggoun, Benhamou, et al.
- 1997
|
|
1
|
The CHIP Assertion Preprocessor
– Bueno, Lopez, et al.
- 1999
|
|
1
|
Proving properties of programs de over recursive data structures
– Metayer
- 1995
|
|
