Pierre Deransart

Publication Activity (10 Years)

Years Active: 1979-2012
Publications (10 Years): 0

Top Topics

Arc Consistency

Constraint Reasoning

Contextual Information

Top Venues

Publications

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 (2012)
Pierre Deransart
Generic Traces and Constraints, GenTra4CP revisited CoRR (2011)
Pierre Deransart, Rafael Oliveira
Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning CoRR (2010)
Pierre Deransart
On using Tracer Driver for External Dynamic Process Observation CoRR (2007)
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 (2007)
Pierre Deransart, Mireille Ducassé, Gérard Ferrand
Observational semantics of the Prolog Resolution Box Model CoRR (2007)
Pierre Deransart
Main Results of the OADymPPaC Project. ICLP (2004)
Mireille Ducassé, Ludovic Langevine, Pierre Deransart
Rigorous design of tracers: an experiment for constraint logic programming CoRR (2003)
Ludovic Langevine, Mireille Ducassé, Pierre Deransart
A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation. ICLP (2003)
Ludovic Langevine, Pierre Deransart
Un nouveau traceur générique pour GNU-Prolog. JFPLC (2003)
Ludovic Langevine, Pierre Deransart, Mireille Ducassé
A Generic Trace Schema for the Portability of CP(FD) Debugging Tools. CSCLP (2003)
Pierre Deransart, Ludovic Langevine, Mireille Ducassé
Demonstration: Debugging constraint problems with portable tools. WLPE (2003)
Pierre Deransart, Ludovic Langevine
Un nouveau traceur générique pour GNU-Prolog. Tech. Sci. Informatiques 22 (1) (2003)
Pierre Deransart, Jan-Georg Smaus
Subject Reduction of Logic Programs as Proof-Theoretic Property. J. Funct. Log. Program. 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)
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)
Pierre Deransart, Jan-Georg Smaus
Well-Typed Logic Programs Are not Wrong. FLOPS (2001)
Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier
Prototyping CLP(FD) tracers: a trace model and an experimental validation environment. WLPE (2001)
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)
Jan-Georg Smaus, François Fages, Pierre Deransart
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping CoRR (2000)
Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski
Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction. Analysis and Visualization Tools for Constraint Programming (2000)
Pierre Deransart, Jan-Georg Smaus
Les programmes bien typés ont tout bon. JFPLC (2000)
Pierre Deransart, Jan-Georg Smaus
Well-Typed Logic Programs Are not Wrong CoRR (2000)
Jan-Georg Smaus, François Fages, Pierre Deransart
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping. FSTTCS (2000)
Christophe Aillaud, Pierre Deransart
Towards a Language for CLP Choice-Tree Visualisation. Analysis and Visualization Tools for Constraint Programming (2000)
Christophe Aillaud, Pierre Deransart
Vers un arbre de spécification d'arbres de choix en PLC. JFPLC (1999)
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)
Pierre Deransart, Patrick Parot, Roberto da Silva Bigonha, José de Siqueira
A Hypertext Based Environment to Write Literate Logic Programs (Poster Abstract). JICSLP (1996)
Pascal Chambre, Pierre Deransart, Jan Maluszynski
Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale. JFPLC (1996)
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. Int. J. Softw. Eng. Knowl. Eng. 4 (3) (1994)
Sophie Renault, Pierre Deransart
Design of Redundant Formal Specifications by Logic programming: Merging Formal Text and Good Comments. ICLP Workshop: Applications of Logic Programming to Software Engineering (1994)
Pascal Chambre, Pierre Deransart
Towards a Proof method of Non-Suspension of Concurrent Constraint Logic Programs. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages (1994)
Sophie Renault, Pierre Deransart
A Proof Manager for Verification of Logic Programs. LPE (1994)
Pierre Deransart
Proof Methods of Declarative Properties of Definite Programs. Theor. Comput. Sci. 118 (2) (1993)
Gérard Ferrand, Pierre Deransart
Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. J. Log. Program. 17 (2/3&4) (1993)
Pierre Deransart, Gérard Ferrand
An Operational Formal Definition of PROLOG: A Specification Method and Its Application. New Gener. Comput. 10 (2) (1992)
AbdelAli Ed-Dbali, Pierre Deransart
Software Formal Specification by Logic Programming: The Example of Standard Prolog. Logic Programming Summer School (1992)
Gérard Ferrand, Pierre Deransart
Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. JICSLP (1992)
Yves Deville, Leon Sterling, Pierre Deransart
Software Development and Logic Programming. ICLP (1991)
Pierre Deransart, Gérard Ferrand, Michel Téguia
NSTO Programs (Not Subject to Occur-Check). ISLP (1991)
Pierre Deransart
Proofs of Declarative Properties of Logic Programs. TAPSOFT, Vol.1 (1989)
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)
Pierre Deransart, Gérard Ferrand, Michel Téguia
Test d'occurence en PROLOG et grammaires attribuées. SPLT (1989)
Pierre Deransart, Gérard Ferrand
Une vue méthodologique de la Programmation en Logique avec négation. SPLT (1989)
Bruno Courcelle, Pierre Deransart
Proofs of Partial Correctness for Attribute Grammars with Applications to Recursive Procedures and Logic Programming Inf. Comput. 78 (1) (1988)
Pierre Deransart, Jan Maluszynski
A Grammatical View of Logic Programming. PLILP (1988)
Pierre Deransart, C. Moss, G. Richard
Spécification formelle de Prolog standard. SPLT (1987)
Pierre Deransart
Preuves de correction partielle des programmes logiques. SPLT (1987)
Pierre Deransart, Gérard Ferrand
An Operational Formal Definition of PROLOG. SLP (1987)
Pierre Deransart, Gérard Ferrand
Programmation en logique: méthodologie et enseignement. SPLT (1986)
Pierre Deransart, Gérard Ferrand
Détection d'erreurs en programmation en logique. SPLT (1985)
Pierre Deransart, Jan Maluszynski
Relating Logic Programs and Attribute Grammars. J. Log. Program. 2 (2) (1985)
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, Martin Jourdan, Bernard Lorho
Speeding up Circularity Tests for Attribute Grammars. Acta Informatica 21 (1984)
Pierre Deransart
Logical Attribute Grammars. IFIP Congress (1983)
Pierre Deransart
Une sémantique opérationnelle algébrique de programmes PROLOG. SPLT (1983)
Pierre Deransart
An Operational Algebraic Semantics of Prolog Programs. Logic Programming Workshop (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)
Pierre Deransart
Proof by Semantic Attributes of a LISP Compiler. Comput. J. 22 (3) (1979)
Pierre Deransart
The language LISP does not exist? ACM SIGPLAN Notices 14 (5) (1979)