Pierre Deransart

According to our database, Pierre Deransart authored at least 60 papers between 1979 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Towards a Generic Trace for Rule Based Constraint Reasoning

Armando Gonçalves Da Silva Junior, Pierre Deransart, Luis-Carlos Menezes, Marcos Aurélio Almeida da Silva, Jacques Robin

CoRR, 2012

2011

Generic Traces and Constraints, GenTra4CP revisited

Pierre Deransart

CoRR, 2011

2010

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

Pierre Deransart, Rafael Oliveira

CoRR, 2010

2007

On using Tracer Driver for External Dynamic Process Observation

Pierre Deransart

CoRR, 2007

Observational semantics of the Prolog Resolution Box Model

Pierre Deransart, Mireille Ducassé, Gérard Ferrand

CoRR, 2007

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

Pierre Deransart, Mireille Ducassé, Gérard Ferrand

CoRR, 2007

2004

Main Results of the OADymPPaC Project.

Pierre Deransart

Proceedings of the Logic Programming, 20th International Conference, 2004

2003

Un nouveau traceur générique pour GNU-Prolog.

Pierre Deransart, Ludovic Langevine

Tech. Sci. Informatiques, 2003

Rigorous design of tracers: an experiment for constraint logic programming

Mireille Ducassé, Ludovic Langevine, Pierre Deransart

CoRR, 2003

Demonstration: Debugging constraint problems with portable tools.

Pierre Deransart, Ludovic Langevine, Mireille Ducassé

Proceedings of the 13th International Workshop on Logic Programming Environments, 2003

A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation.

Ludovic Langevine, Mireille Ducassé, Pierre Deransart

Proceedings of the Logic Programming, 19th International Conference, 2003

A Generic Trace Schema for the Portability of CP(FD) Debugging Tools.

Ludovic Langevine, Pierre Deransart, Mireille Ducassé

Proceedings of the Recent Advances in Constraints, 2003

2002

Subject Reduction of Logic Programs as Proof-Theoretic Property.

Pierre Deransart, Jan-Georg Smaus

J. Funct. Log. Program., 2002

Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation.

Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier

Proceedings of the Programmation en logique avec contraintes, 2002

2001

Prototyping CLP(FD) tracers: a trace model and an experimental validation environment.

Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier

Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), 2001

HyperPro - An integrated documentation environment for CLP.

AbdelAli Ed-Dbali, Pierre Deransart, Mariza Andrade da Silva Bigonha, José de Siqueira, Roberto da Silva Bigonha

Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), 2001

HyperPro: Un environment intégré de documentation pour la PLC.

AbdelAli Ed-Dbali, Pierre Deransart, Mariza Andrade da Silva Bigonha, José de Siqueira, Roberto da Silva Bigonha

Proceedings of the Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril, 2001

Well-Typed Logic Programs Are not Wrong.

Pierre Deransart, Jan-Georg Smaus

Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

2000

Les programmes bien typés ont tout bon.

Pierre Deransart, Jan-Georg Smaus

Proceedings of the Programmation en logique avec contraintes, 2000

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping.

Jan-Georg Smaus, François Fages, Pierre Deransart

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction.

Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski

Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

Towards a Language for CLP Choice-Tree Visualisation.

Christophe Aillaud, Pierre Deransart

Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

1999

Vers un arbre de spécification d'arbres de choix en PLC.

Christophe Aillaud, Pierre Deransart

Proceedings of the JFPLC'99, 1999

1997

On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs.

Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla

Proceedings of the Third International Workshop on Automated Debugging, 1997

1996

Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale.

Pascal Chambre, Pierre Deransart, Jan Maluszynski

Proceedings of the JFPLC'96, 1996

A Hypertext Based Environment to Write Literate Logic Programs (Poster Abstract).

Pierre Deransart, Patrick Parot, Roberto da Silva Bigonha, José de Siqueira

Proceedings of the Logic Programming, 1996

Prolog - the standard: reference manual.

Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni

Springer, ISBN: 978-3-540-59304-1, 1996

1995

Task Force on Logic Program Development (Compulog Project).

Pierre Deransart, Henryk Jan Komorowski

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.

Sophie Renault, Pierre Deransart

Int. J. Softw. Eng. Knowl. Eng., 1994

A Proof Manager for Verification of Logic Programs.

Sophie Renault, Pierre Deransart

Proceedings of the Sixth Workshop on Logic Programming Environments, 1994

Towards a Proof method of Non-Suspension of Concurrent Constraint Logic Programs.

Pascal Chambre, Pierre Deransart

Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

1993

Proof Methods of Declarative Properties of Definite Programs.

Pierre Deransart

Theor. Comput. Sci., 1993

Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs.

Gérard Ferrand, Pierre Deransart

J. Log. Program., 1993

A grammatical view of logic programming.

Pierre Deransart, Jan Maluszynski

MIT Press, ISBN: 978-0-262-04140-9, 1993

1992

An Operational Formal Definition of PROLOG: A Specification Method and Its Application.

Pierre Deransart, Gérard Ferrand

New Gener. Comput., 1992

Software Formal Specification by Logic Programming: The Example of Standard Prolog.

AbdelAli Ed-Dbali, Pierre Deransart

Proceedings of the Logic Programming in Action, 1992

1991

NSTO Programs (Not Subject to Occur-Check).

Pierre Deransart, Gérard Ferrand, Michel Téguia

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Software Development and Logic Programming.

Yves Deville, Leon Sterling, Pierre Deransart

Proceedings of the Logic Programming, 1991

1989

Proofs of Declarative Properties of Logic Programs.

Pierre Deransart

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.

Pierre Deransart, Gérard Ferrand, Michel Téguia

Proceedings of the SPLT'89, 1989

Une vue méthodologique de la Programmation en Logique avec négation.

Pierre Deransart, Gérard Ferrand

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.

Pierre Deransart

Proceedings of the SPLT'89, 1989

1988

Proofs of Partial Correctness for Attribute Grammars with Applications to Recursive Procedures and Logic Programming

Bruno Courcelle, Pierre Deransart

Inf. Comput., July, 1988

A Grammatical View of Logic Programming.

Pierre Deransart, Jan Maluszynski

Proceedings of the Programming Language Implementation and Logic Programming, 1988

Attribute Grammars: Definitions, Systems, and Bibliography.

Pierre Deransart, Martin Jourdan, Bernard Lorho

Lecture Notes in Computer Science 323, Springer, ISBN: 3-540-50056-1, 1988

1987

An Operational Formal Definition of PROLOG.

Pierre Deransart, Gérard Ferrand

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

Spécification formelle de Prolog standard.

Pierre Deransart, C. Moss, G. Richard

Proceedings of the SPLT'87, 1987

Preuves de correction partielle des programmes logiques.

Pierre Deransart

Proceedings of the SPLT'87, 1987

1986

Programmation en logique: méthodologie et enseignement.

Pierre Deransart, Gérard Ferrand

Proceedings of the SPLT'86, 1986

1985

Relating Logic Programs and Attribute Grammars.

Pierre Deransart, Jan Maluszynski

J. Log. Program., 1985

Détection d'erreurs en programmation en logique.

Pierre Deransart, Gérard Ferrand

Proceedings of the SPLT'85, 1985

1984

Speeding up Circularity Tests for Attribute Grammars.

Pierre Deransart, Martin Jourdan, Bernard Lorho

Acta Informatica, 1984

Modélisation du flot de données par des schémas d'attributs dans les programmes logiques.

Pierre Deransart, Jan Maluszynski

Proceedings of the SPLT'84, 1984

1983

Une sémantique opérationnelle algébrique de programmes PROLOG.

Pierre Deransart

Proceedings of the SPLT'83, 1983

Logical Attribute Grammars.

Pierre Deransart

Proceedings of the Information Processing 83, 1983

An Operational Algebraic Semantics of Prolog Programs.

Pierre Deransart

Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

1982

Prolog et types abstraits algébriques.

Pierre Deransart

Proceedings of the SPLT'82, 1982

1981

Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog.

Marc Bergman, Pierre Deransart

Proceedings of the CAAP '81, 1981

1979

The language LISP does not exist?

Pierre Deransart

ACM SIGPLAN Notices, 1979

Proof by Semantic Attributes of a LISP Compiler.

Pierre Deransart

Comput. J., 1979