Pierre Deransart

According to our database1, Pierre Deransart
  • authored at least 63 papers between 1979 and 2012.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
Towards a Generic Trace for Rule Based Constraint Reasoning
CoRR, 2012

2011
Generic Traces and Constraints, GenTra4CP revisited
CoRR, 2011

2010
Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning
CoRR, 2010

2007
On using Tracer Driver for External Dynamic Process Observation
CoRR, 2007

Observational semantics of the Prolog Resolution Box Model
CoRR, 2007

Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)
CoRR, 2007

2004
Main Results of the OADymPPaC Project.
Proceedings of the Logic Programming, 20th International Conference, 2004

2003
Un nouveau traceur générique pour GNU-Prolog.
Technique et Science Informatiques, 2003

Rigorous design of tracers: an experiment for constraint logic programming
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

A Generic Trace Schema for the Portability of CP(FD) Debugging Tools.
Proceedings of the Recent Advances in Constraints, 2003

2002
Subject Reduction of Logic Programs as Proof-Theoretic Property.
Journal of Functional and Logic Programming, 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

HyperPro - An integrated documentation environment for CLP.
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

Well-Typed Logic Programs Are not Wrong.
Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

2000
Well-Typed Logic Programs Are not Wrong
CoRR, 2000

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping
CoRR, 2000

Les programmes bien typés ont tout bon.
Proceedings of the Programmation en logique avec contraintes, 2000

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction.
Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

Towards a Language for CLP Choice-Tree Visualisation.
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.
AADEBUG, 1997

1996
Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale.
Proceedings of the JFPLC'96, 1996

A Hypertext Based Environment to Write Literate Logic Programs (Poster Abstract).
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.
International Journal of Software Engineering and Knowledge Engineering, 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
Proof Methods of Declarative Properties of Definite Programs.
Theor. Comput. Sci., 1993

Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs.
J. Log. Program., 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 Generation Comput., 1992

Software Formal Specification by Logic Programming: The Example of Standard Prolog.
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
Proofs of Declarative Properties of Logic Programs.
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

A Grammatical View of Logic Programming.
Proceedings of the Programming Language Implementation and Logic Programming, 1988

Attribute Grammars: Definitions, Systems, and Bibliography.
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
Relating Logic Programs and Attribute Grammars.
J. Log. Program., 1985

Détection d'erreurs en programmation en logique.
Proceedings of the SPLT'85, 1985

1984
Speeding up Circularity Tests for Attribute Grammars.
Acta Inf., 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.
IFIP Congress, 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
Proof by Semantic Attributes of a LISP Compiler.
Comput. J., 1979


  Loading...