Pierre Deransart

Armando Gonçalves Da Silva Junior, Pierre Deransart, Luis-Carlos Menezes, Marcos Aurélio Almeida da Silva, Jacques Robin: Towards a Generic Trace for Rule Based Constraint Reasoning. CoRR abs/1204.5280 (2012)

Pierre Deransart: Generic Traces and Constraints, GenTra4CP revisited. CoRR abs/1105.6210 (2011)

Pierre Deransart, Rafael Oliveira: Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning. CoRR abs/1001.2188 (2010)

Pierre Deransart, Mireille Ducassé, Gérard Ferrand: Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue). CoRR abs/0706.3159 (2007)

Pierre Deransart, Mireille Ducassé, Gérard Ferrand: Observational semantics of the Prolog Resolution Box Model. CoRR abs/0711.4071 (2007)

Pierre Deransart: On using Tracer Driver for External Dynamic Process Observation. CoRR abs/cs/0701106 (2007)

Pierre Deransart: Main Results of the OADymPPaC Project. ICLP 2004: 456-457

Pierre Deransart, Ludovic Langevine: Un nouveau traceur générique pour GNU-Prolog. Technique et Science Informatiques 22(1): 97-110 (2003)

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

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

Ludovic Langevine, Pierre Deransart: Un nouveau traceur générique pour GNU-Prolog. JFPLC 2003: 97-110

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

Mireille Ducassé, Ludovic Langevine, Pierre Deransart: Rigorous design of tracers: an experiment for constraint logic programming. CoRR cs.SE/0310042 (2003)

Pierre Deransart, Jan-Georg Smaus: Subject Reduction of Logic Programs as Proof-Theoretic Property. Journal of Functional and Logic Programming 2002 (2002)

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

Pierre Deransart, Jan-Georg Smaus: Well-Typed Logic Programs Are not Wrong. FLOPS 2001: 280-295

AbdelAli Ed-Dbali, Pierre Deransart, Mariza Andrade da Silva Bigonha, José de Siqueira, Roberto da Silva Bigonha: HyperPro: Un environment intégré de documentation pour la PLC. JFPLC 2001: 257-270

AbdelAli Ed-Dbali, Pierre Deransart, Mariza Andrade da Silva Bigonha, José de Siqueira, Roberto da Silva Bigonha: HyperPro - An integrated documentation environment for CLP. WLPE 2001

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

Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski: Introduction. Analysis and Visualization Tools for Constraint Programming 2000: 1-20

Christophe Aillaud, Pierre Deransart: Towards a Language for CLP Choice-Tree Visualisation. Analysis and Visualization Tools for Constraint Programming 2000: 209-236

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

Pierre Deransart, Jan-Georg Smaus: Les programmes bien typés ont tout bon. JFPLC 2000: 49-66

Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski (Eds.): Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project). Lecture Notes in Computer Science 1870, Springer 2000, isbn 3-540-41137-2

Jan-Georg Smaus, François Fages, Pierre Deransart: Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping. CoRR cs.LO/0010029 (2000)

Pierre Deransart, Jan-Georg Smaus: Well-Typed Logic Programs Are not Wrong. CoRR cs.LO/0012015 (2000)

Christophe Aillaud, Pierre Deransart: Vers un arbre de spécification d'arbres de choix en PLC. JFPLC 1999: 249-264

Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla: On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. AADEBUG 1997: 155-169

Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni: Prolog - the standard: reference manual. Springer 1996, isbn 978-3-540-59304-1, pp. I-XIV, 1-272

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

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

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

Sophie Renault, Pierre Deransart: Design of Redundant Formal Specifications by Logic Programming: Merging Formal Text and Good Comments. International Journal of Software Engineering and Knowledge Engineering 4(3): 369-390 (1994)

Sophie Renault, Pierre Deransart: A Proof Manager for Verification of Logic Programs. LPE 1994: 0-

Pierre Deransart, Jan Maluszynski: A grammatical view of logic programming. MIT Press 1993, isbn 978-0-262-04140-9, pp. I-XXXI, 1-454

Gérard Ferrand, Pierre Deransart: Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. J. Log. Program. 17(2/3&4): 265-278 (1993)

Pierre Deransart: Proof Methods of Declarative Properties of Definite Programs. Theor. Comput. Sci. 118(2): 99-166 (1993)

Pierre Deransart, Gérard Ferrand: An Operational Formal Definition of PROLOG: A Specification Method and Its Application. New Generation Comput. 10(2): 121-172 (1992)

Gérard Ferrand, Pierre Deransart: Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. JICSLP 1992: 161-174

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

Yves Deville, Leon Sterling, Pierre Deransart: Software Development and Logic Programming. ICLP 1991: 941

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

Pierre Deransart, Jan Maluszynski (Eds.): Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings. Lecture Notes in Computer Science 456, Springer 1990, isbn 3-540-53010-X

Pierre Deransart, Martin Jourdan (Eds.): Attribute Grammars and their Applications, International Conference WAGA, Paris, France, September 19-21, 1990, Proceedings. Lecture Notes in Computer Science 461, Springer 1990, isbn 3-540-53101-7

Pierre Deransart: 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. SPLT 1989: 41-

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

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

Pierre Deransart: Proofs of Declarative Properties of Logic Programs. TAPSOFT, Vol.1 1989: 207-226

Pierre Deransart, Bernard Lorho, Jan Maluszynski (Eds.): Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orléans, France, May 16-18, 1988, Proceedings. Lecture Notes in Computer Science 348, Springer 1989, isbn 3-540-50820-1

Pierre Deransart, Martin Jourdan, Bernard Lorho: Attribute Grammars: Definitions, Systems, and Bibliography. Lecture Notes in Computer Science 323, Springer 1988, isbn 3-540-50056-1

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

Pierre Deransart, Jan Maluszynski: A Grammatical View of Logic Programming. PLILP 1988: 219-251

Pierre Deransart: Preuves de correction partielle des programmes logiques. SPLT 1987: 29-

Pierre Deransart, C. Moss, G. Richard: Spécification formelle de Prolog standard. SPLT 1987: 455-

Pierre Deransart, Gérard Ferrand: An Operational Formal Definition of PROLOG. SLP 1987: 162-172

Pierre Deransart, Gérard Ferrand: Programmation en logique: méthodologie et enseignement. SPLT 1986: 75-90

Pierre Deransart, Jan Maluszynski: Relating Logic Programs and Attribute Grammars. J. Log. Program. 2(2): 119-155 (1985)

Pierre Deransart, Gérard Ferrand: Détection d'erreurs en programmation en logique. SPLT 1985

Pierre Deransart, Martin Jourdan, Bernard Lorho: Speeding up Circularity Tests for Attribute Grammars. Acta Inf. 21: 375-391 (1984)

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

Pierre Deransart: Logical Attribute Grammars. IFIP Congress 1983: 463-469

Pierre Deransart: Une sémantique opérationnelle algébrique de programmes PROLOG. SPLT 1983

Pierre Deransart: Prolog et types abstraits algébriques. SPLT 1982

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

Pierre Deransart: Proof by Semantic Attributes of a LISP Compiler. Comput. J. 22(3): 240-245 (1979)