Proof by Semantic Attributes of a LISP Compiler. - Pierre Deransart (Comput. J., 1979)

The language LISP does not exist? - Pierre Deransart (ACM SIGPLAN Notices, 1979)

Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog. - Marc Bergman; Pierre Deransart (CAAP, 1981)

Prolog et types abstraits algébriques. - Pierre Deransart (SPLT, 1982)

An Operational Algebraic Semantics of Prolog Programs. - Pierre Deransart (Logic Programming Workshop, 1983)

Logical Attribute Grammars. - Pierre Deransart (IFIP Congress, 1983)

Une sémantique opérationnelle algébrique de programmes PROLOG. - Pierre Deransart (SPLT, 1983)

Modélisation du flot de données par des schémas d'attributs dans les programmes logiques. - Pierre Deransart; Jan Maluszynski (SPLT, 1984)

Speeding up Circularity Tests for Attribute Grammars. - Pierre Deransart; Martin Jourdan; Bernard Lorho (Acta Informatica, 1984)

Détection d'erreurs en programmation en logique. - Pierre Deransart; Gérard Ferrand (SPLT, 1985)

Relating Logic Programs and Attribute Grammars. - Pierre Deransart; Jan Maluszynski (J. Log. Program., 1985)

Programmation en logique: méthodologie et enseignement. - Pierre Deransart; Gérard Ferrand (SPLT, 1986)

Preuves de correction partielle des programmes logiques. - Pierre Deransart (SPLT, 1987)

Spécification formelle de Prolog standard. - Pierre Deransart; C. Moss; G. Richard (SPLT, 1987)

An Operational Formal Definition of PROLOG. - Pierre Deransart; Gérard Ferrand (SLP, 1987)

Attribute Grammars: Definitions, Systems, and Bibliography. - Pierre Deransart; Martin Jourdan; Bernard Lorho (Springer, 1988)

A Grammatical View of Logic Programming. - Pierre Deransart; Jan Maluszynski (PLILP, 1988)

Proofs of Partial Correctness for Attribute Grammars with Applications to Recursive Procedures and Logic Programming - Bruno Courcelle; Pierre Deransart (Inf. Comput., 1988)

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 (SPLT, 1989)

Une vue méthodologique de la Programmation en Logique avec négation. - Pierre Deransart; Gérard Ferrand (SPLT, 1989)

Test d'occurence en PROLOG et grammaires attribuées. - Pierre Deransart; Gérard Ferrand; Michel Téguia (SPLT, 1989)

Proofs of Declarative Properties of Logic Programs. - Pierre Deransart (TAPSOFT, Vol.1, 1989)

Software Development and Logic Programming. - Yves Deville; Leon Sterling; Pierre Deransart (ICLP, 1991)

NSTO Programs (Not Subject to Occur-Check). - Pierre Deransart; Gérard Ferrand; Michel Téguia (ISLP, 1991)

Software Formal Specification by Logic Programming: The Example of Standard Prolog. - AbdelAli Ed-Dbali; Pierre Deransart (Logic Programming Summer School, 1992)

An Operational Formal Definition of PROLOG: A Specification Method and Its Application. - Pierre Deransart; Gérard Ferrand (New Gener. Comput., 1992)

A grammatical view of logic programming. - Pierre Deransart; Jan Maluszynski (MIT Press, 1993)

Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. - Gérard Ferrand; Pierre Deransart (J. Log. Program., 1993)

Proof Methods of Declarative Properties of Definite Programs. - Pierre Deransart (Theor. Comput. Sci., 1993)

Towards a Proof method of Non-Suspension of Concurrent Constraint Logic Programs. - Pascal Chambre; Pierre Deransart (ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, 1994)

A Proof Manager for Verification of Logic Programs. - Sophie Renault; Pierre Deransart (LPE, 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)

Task Force on Logic Program Development (Compulog Project). - Pierre Deransart; Henryk Jan Komorowski (LPE, 1995)

Prolog - the standard: reference manual. - Pierre Deransart; AbdelAli Ed-Dbali; Laurent Cervoni (Springer, 1996)

A Hypertext Based Environment to Write Literate Logic Programs (Poster Abstract). - Pierre Deransart; Patrick Parot; Roberto da Silva Bigonha; José de Siqueira (JICSLP, 1996)

Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale. - Pascal Chambre; Pierre Deransart; Jan Maluszynski (JFPLC, 1996)

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 (AADEBUG, 1997)

Vers un arbre de spécification d'arbres de choix en PLC. - Christophe Aillaud; Pierre Deransart (JFPLC, 1999)

Towards a Language for CLP Choice-Tree Visualisation. - Christophe Aillaud; Pierre Deransart (Analysis and Visualization Tools for Constraint Programming, 2000)

Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction. - Pierre Deransart; Manuel V. Hermenegildo; Jan Maluszynski (Analysis and Visualization Tools for Constraint Programming, 2000)

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping. - Jan-Georg Smaus; François Fages; Pierre Deransart (FSTTCS, 2000)

Les programmes bien typés ont tout bon. - Pierre Deransart; Jan-Georg Smaus (JFPLC, 2000)

Well-Typed Logic Programs Are not Wrong. - Pierre Deransart; Jan-Georg Smaus (FLOPS, 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 (JFPLC, 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 (WLPE, 2001)

Prototyping CLP(FD) tracers: a trace model and an experimental validation environment. - Ludovic Langevine; Pierre Deransart; Mireille Ducassé; Erwan Jahier (WLPE, 2001)

Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation. - Ludovic Langevine; Pierre Deransart; Mireille Ducassé; Erwan Jahier (JFPLC, 2002)

Subject Reduction of Logic Programs as Proof-Theoretic Property. - Pierre Deransart; Jan-Georg Smaus (J. Funct. Log. Program., 2002)

A Generic Trace Schema for the Portability of CP(FD) Debugging Tools. - Ludovic Langevine; Pierre Deransart; Mireille Ducassé (CSCLP, 2003)

A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation. - Ludovic Langevine; Mireille Ducassé; Pierre Deransart (ICLP, 2003)

Demonstration: Debugging constraint problems with portable tools. - Pierre Deransart; Ludovic Langevine; Mireille Ducassé (WLPE, 2003)

Rigorous design of tracers: an experiment for constraint logic programming - Mireille Ducassé; Ludovic Langevine; Pierre Deransart (CoRR, 2003)

Un nouveau traceur générique pour GNU-Prolog. - Pierre Deransart; Ludovic Langevine (Tech. Sci. Informatiques, 2003)

Main Results of the OADymPPaC Project. - Pierre Deransart (ICLP, 2004)

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)

Observational semantics of the Prolog Resolution Box Model - Pierre Deransart; Mireille Ducassé; Gérard Ferrand (CoRR, 2007)

On using Tracer Driver for External Dynamic Process Observation - Pierre Deransart (CoRR, 2007)

Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning - Pierre Deransart; Rafael Oliveira 004 (CoRR, 2010)

Generic Traces and Constraints, GenTra4CP revisited - Pierre Deransart (CoRR, 2011)

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)