Author of the publication

Failure Analysis Based on Abstract Interpretation.

, and . Declarative Programming, page 295-309. Springer, (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

CLP(beta) joue la transparence., and . JFPL, page 245-261. TEKNEA, (1993)Failure Analysis Based on Abstract Interpretation., and . Declarative Programming, page 295-309. Springer, (1991)Computational model of amygdala network supported by neurobiological data., , , and . ESANN, page 367-372. (2004)Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains., , , and . PLILP, volume 714 of Lecture Notes in Computer Science, page 75-91. Springer, (1993)The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog., , and . WSA, volume 81-82 of Series Bigre, page 51-59. Atelier Irisa, IRISA, Campus de Beaulieu, (1992)Abstract Interpretation from Prolog to Concurrent Prolog., , and . SPLT, page 351-370. (1990)Abstract interpretation can improve the efficiency of the bachtracking rule.. JFPL, page 374-385. (1992)Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage., and . JFPLC, page 171-. (1994)Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms., , and . LPAR, volume 698 of Lecture Notes in Computer Science, page 86-97. Springer, (1993)Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization., and . ESOP, volume 788 of Lecture Notes in Computer Science, page 180-194. Springer, (1994)