Assertions are linguistic constructions which allow expressing properties of programs. We may be interested in expressing many different kinds of properties as assertions may be used in different contexts and for different purposes. Some contexts in which assertions have been used in the past
|
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
|
|
340
|
Literate Programming”, The
– Knuth
|
|
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
|
|
132
|
Types as Abstract Interpretations
– Cousot
- 1997
|
|
69
|
High-Performace Logic Programming with the Aquarius Prolog Compiler
– Roy, Despain
- 1992
|
|
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
|
|
58
|
A three-valued declarative debugging scheme
– Naish
|
|
53
|
The 3 R's of optimizing constraint logic programs: Refinement, removal and reordering
– Marriott, Stuckey
- 1993
|
|
42
|
Global Analysis of Standard Prolog Programs
– Bueno, Cabeza, et al.
- 1996
|
|
41
|
On the Practicality of Global Flow Analysis of Logic Programs
– Warren, Hermenegildo, et al.
- 1988
|
|
38
|
Algorithmic Debugging with Assertions
– Drabent, Nadjm-Tehrani, et al.
- 1989
|
|
37
|
Garca de la
– Demoen, M
- 1999
|
|
31
|
An optimizing compiler for CLP(R
– Kelly, Macdonald, et al.
- 1996
|
|
28
|
On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs
– Bueno, Deransart, et al.
- 1997
|
|
25
|
The CIAO MultiDialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems
– Hermenegildo, Bueno, et al.
- 1995
|
|
19
|
The use of assertions in algorithmic debugging
– Drabent, Nadjm-Tehrani, et al.
- 1988
|
|
11
|
The CIAO Multiparadigm Compiler: A User's Manual
– Bueno
- 1995
|
|
9
|
Algorithmic Program Debugging. ACM Distiguished Dissertation
– Shapiro
- 1982
|
|
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
|
|
1
|
The CLIP Group. pl2texi: An Automatic Documentation Generator for (C)LP -- Reference Manual
– Hermenegildo
- 1997
|
|
