Pierre Deransart
According to our database1,
Pierre Deransart
authored at least 60 papers
between 1979 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
2011
2010
Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning
CoRR, 2010
2007
Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)
CoRR, 2007
2004
Proceedings of the Logic Programming, 20th International Conference, 2004
2003
CoRR, 2003
Demonstration: Debugging constraint problems with portable tools.
Proceedings of the 13th International Workshop on Logic Programming Environments, 2003
Un nouveau traceur générique pour GNU-Prolog.
Proceedings of the Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), 2003
A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation.
Proceedings of the Logic Programming, 19th International Conference, 2003
Proceedings of the Recent Advances in Constraints, 2003
2002
J. Funct. Log. Program., 2002
Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation.
Proceedings of the Programmation en logique avec contraintes, 2002
2001
Prototyping CLP(FD) tracers: a trace model and an experimental validation environment.
Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), 2001
Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), 2001
HyperPro: Un environment intégré de documentation pour la PLC.
Proceedings of the Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril, 2001
Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001
2000
Les programmes bien typés ont tout bon.
Proceedings of the Programmation en logique avec contraintes, 2000
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000
Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000
Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000
1999
Vers un arbre de spécification d'arbres de choix en PLC.
Proceedings of the JFPLC'99, 1999
1997
On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs.
Proceedings of the Third International Workshop on Automated Debugging, 1997
1996
Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale.
Proceedings of the JFPLC'96, 1996
Proceedings of the Logic Programming, 1996
Prolog - the standard: reference manual.
Springer, ISBN: 978-3-540-59304-1, 1996
1995
Task Force on Logic Program Development (Compulog Project).
Proceedings of the 7th Workshop on Logic Programming Environments, 1995
1994
Design of Redundant Formal Specifications by Logic programming: Merging Formal Text and Good Comments.
Proceedings of the ICLP 1994 Workshop W7: Applications of Logic Programming to Software Engineering, 1994
A Proof Manager for Verification of Logic Programs.
Proceedings of the Sixth Workshop on Logic Programming Environments, 1994
Towards a Proof method of Non-Suspension of Concurrent Constraint Logic Programs.
Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994
1993
Theor. Comput. Sci., 1993
A grammatical view of logic programming.
MIT Press, ISBN: 978-0-262-04140-9, 1993
1992
An Operational Formal Definition of PROLOG: A Specification Method and Its Application.
New Gener. Comput., 1992
Proceedings of the Logic Programming in Action, 1992
Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs.
Proceedings of the Logic Programming, 1992
1991
NSTO Programs (Not Subject to Occur-Check).
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991
Software Development and Logic Programming.
Proceedings of the Logic Programming, 1991
1989
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989
Test d'occurence en PROLOG et grammaires attribuées.
Proceedings of the SPLT'89, 1989
Une vue méthodologique de la Programmation en Logique avec négation.
Proceedings of the SPLT'89, 1989
Sur la multiplicité des Sémantiques Opérationnelles de la Programmation en Logique, leur Modélisation à l'aide de Grammaires Attribuées et leur utilisation pour valider des Programmes Logiques.
Proceedings of the SPLT'89, 1989
1988
Proofs of Partial Correctness for Attribute Grammars with Applications to Recursive Procedures and Logic Programming
Inf. Comput., July, 1988
Proceedings of the Programming Language Implementation and Logic Programming, 1988
Lecture Notes in Computer Science 323, Springer, ISBN: 3-540-50056-1, 1988
1987
An Operational Formal Definition of PROLOG.
Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987
Spécification formelle de Prolog standard.
Proceedings of the SPLT'87, 1987
Preuves de correction partielle des programmes logiques.
Proceedings of the SPLT'87, 1987
1986
Programmation en logique: méthodologie et enseignement.
Proceedings of the SPLT'86, 1986
1985
Détection d'erreurs en programmation en logique.
Proceedings of the SPLT'85, 1985
1984
Modélisation du flot de données par des schémas d'attributs dans les programmes logiques.
Proceedings of the SPLT'84, 1984
1983
Une sémantique opérationnelle algébrique de programmes PROLOG.
Proceedings of the SPLT'83, 1983
Logical Attribute Grammars.
Proceedings of the Information Processing 83, 1983
Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983
1982
Prolog et types abstraits algébriques.
Proceedings of the SPLT'82, 1982
1981
Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog.
Proceedings of the CAAP '81, 1981
1979