P. Deransart. Proof methods of declarative properties of definite programs. Theoretical Computer Science, 118:99--166, 1993. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
A Floyd-Hoare Method for Prolog - Drabent (1997) (Correct)
Declarative Programming in Prolog - Apt (1993) (28 citations) (Correct)
Using parametric set constraints for locating errors.. - Drabent, MALUSZYNSKI, .. (Correct)
Using Global Analysis, Partial Specifications, and an.. - Hermenegildo, Puebla.. (1999) (1 citation) (Correct)
It Is Declarative - On Reasoning About LOGIC PROGRAMS - Drabent (Correct)
Verification of Logic Programs - Pedreschi, Ruggieri (1997) (1 citation) (Correct)
Type-based Diagnosis of CLP Programs - Drabent, Maluszynski, Pietrzak (Correct)
Specialising Logic Programs with respect to Call/Post.. - Annalisa Bossi And (Correct)
It Is Declarative - Extended (Correct)
Specialised Semantics of Logic Programs - Bossi, Rossi (Correct)
A First-Order Language for Expressing Aliasing and Type Properties .. - Volpe (Correct)
It Is Declarative - On Reasoning About LOGIC PROGRAMS - Drabent (1997) (Correct)
Using Global Analysis, Partial Specifications, and an.. - Hermenegildo, Puebla.. (1999) (1 citation) (Correct)
Programs without Failures - Bossi, Cocco (1997) (4 citations) (Correct)
Specialising Logic Programs with respect to Call/Post.. - Bossi, Rossi (Correct)
Successful Logic Programs - Bossi, Cocco (1998) (Correct)
Directional Types and the Annotation Method - Boye, Maluszynski (1997) (23 citations) (Correct)
A Framework for Assertion-based Debugging in Constraint .. - Puebla, Bueno.. (1998) (6 citations) (Correct)
On the Role of Semantic Approximations in Validation and.. - Extend Ed (Correct)
Declarative Diagnosis of Constraint Programs: an.. - Boye, Drabent.. (1997) (10 citations) (Correct)
A Compositional Proof Method of Partial Correctness for.. - Ferrand, Lallouet (1995) (10 citations) (Correct)
Provable Correctness of Prototype Interpreters in LDL - Lämmel, Riedewald (1994) (2 citations) (Correct)
Specialising Logic Programs wrt Pre/Post Specifications - Bossi, Rossi (Correct)
CLP(χ) for Automatically Proving Program Properties - Mesnard, Hoarau, Maillard (1994) (Correct)
Call-Correct Specialisation of Logic Programs - Bossi, Rossi (Correct)
Towards Soft Typing for CLP - Deransart, Maluszynski (1998) (2 citations) Self-citation (Deransart) (Correct)
Using Semantic Approximations in Validation and.. - Bueno.. Self-citation (Deransart) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC