Pierre Deransart

69 papers B 4Misc 1Journal 19Unranked 38

Year	Rank	Type	Title / Venue / Authors
2012	J	`jnl`	Towards a Generic Trace for Rule Based Constraint Reasoning CoRR Armando Gonçalves Da Silva Junior, Pierre Deransart, Luis-Carlos Menezes, Marcos Aurélio Almeida da Silva, Jacques Robin
2011	J	`jnl`	Generic Traces and Constraints, GenTra4CP revisited CoRR Pierre Deransart
2010	J	`jnl`	Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning CoRR Pierre Deransart, Rafael Oliveira
2007	J	`jnl`	Observational semantics of the Prolog Resolution Box Model CoRR Pierre Deransart, Mireille Ducassé, Gérard Ferrand
2007	J	`jnl`	On using Tracer Driver for External Dynamic Process Observation CoRR Pierre Deransart
2007	J	`jnl`	Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue) CoRR Pierre Deransart, Mireille Ducassé, Gérard Ferrand
2004	B	`conf`	Main Results of the OADymPPaC Project. ICLP Pierre Deransart
2003	—	`conf`	A Generic Trace Schema for the Portability of CP(FD) Debugging Tools. CSCLP Ludovic Langevine, Pierre Deransart, Mireille Ducassé
2003	B	`conf`	A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation. ICLP Ludovic Langevine, Mireille Ducassé, Pierre Deransart
2003	—	`conf`	Demonstration: Debugging constraint problems with portable tools. WLPE Pierre Deransart, Ludovic Langevine, Mireille Ducassé
2003	—	`conf`	Rigorous design of tracers: an experiment for constraint logic programming AADEBUG Mireille Ducassé, Ludovic Langevine, Pierre Deransart
2003	—	`conf`	Un nouveau traceur générique pour GNU-Prolog. JFPLC Ludovic Langevine, Pierre Deransart
2003	J	`jnl`	Un nouveau traceur générique pour GNU-Prolog. Tech. Sci. Informatiques Pierre Deransart, Ludovic Langevine
2002	—	`conf`	Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation. JFPLC Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier
2002	J	`jnl`	Subject Reduction of Logic Programs as Proof-Theoretic Property. J. Funct. Log. Program. Pierre Deransart, Jan-Georg Smaus
2001	—	`conf`	HyperPro - An integrated documentation environment for CLP. WLPE AbdelAli Ed-Dbali, Pierre Deransart, Mariza Andrade da Silva Bigonha, José de Siqueira, Roberto da Silva Bigonha
2001	—	`conf`	HyperPro: Un environment intégré de documentation pour la PLC. JFPLC AbdelAli Ed-Dbali, Pierre Deransart, Mariza Andrade da Silva Bigonha, José de Siqueira, Roberto da Silva Bigonha
2001	—	`conf`	Prototyping CLP(FD) tracers: a trace model and an experimental validation environment. WLPE Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier
2001	Misc	`conf`	Well-Typed Logic Programs Are not Wrong. FLOPS Pierre Deransart, Jan-Georg Smaus
2000	—	`ed.`	Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project) Analysis and Visualization Tools for Constraint Programming Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski
2000	—	`conf`	Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction. Analysis and Visualization Tools for Constraint Programming Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski
2000	—	`conf`	Les programmes bien typés ont tout bon. JFPLC Pierre Deransart, Jan-Georg Smaus
2000	—	`conf`	Towards a Language for CLP Choice-Tree Visualisation. Analysis and Visualization Tools for Constraint Programming Christophe Aillaud, Pierre Deransart
2000	J	`jnl`	Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping CoRR Jan-Georg Smaus, François Fages, Pierre Deransart
2000	—	`conf`	Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping. FSTTCS Jan-Georg Smaus, François Fages, Pierre Deransart
2000	J	`jnl`	Well-Typed Logic Programs Are not Wrong CoRR Pierre Deransart, Jan-Georg Smaus
1999	—	`conf`	Vers un arbre de spécification d'arbres de choix en PLC. JFPLC Christophe Aillaud, Pierre Deransart
1997	—	`conf`	On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. AADEBUG Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla
1996	—	`conf`	A Hypertext Based Environment to Write Literate Logic Programs (Poster Abstract). JICSLP Pierre Deransart, Patrick Parot, Roberto da Silva Bigonha, José de Siqueira
1996	—	`book`	Prolog - the standard: reference manual. Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni
1996	—	`conf`	Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale. JFPLC Pascal Chambre, Pierre Deransart, Jan Maluszynski
1995	—	`conf`	Task Force on Logic Program Development (Compulog Project). LPE Pierre Deransart, Henryk Jan Komorowski
1994	—	`conf`	A Proof Manager for Verification of Logic Programs. LPE Sophie Renault, Pierre Deransart
1994	J	`jnl`	Design of Redundant Formal Specifications by Logic Programming: Merging Formal Text and Good Comments. Int. J. Softw. Eng. Knowl. Eng. Sophie Renault, Pierre Deransart
1994	—	`conf`	Design of Redundant Formal Specifications by Logic programming: Merging Formal Text and Good Comments. ICLP Workshop: Applications of Logic Programming to Software Engineering Sophie Renault, Pierre Deransart
1994	—	`conf`	Towards a Proof method of Non-Suspension of Concurrent Constraint Logic Programs. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages Pascal Chambre, Pierre Deransart
1993	—	`book`	A grammatical view of logic programming. Pierre Deransart, Jan Maluszynski
1993	J	`jnl`	Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. J. Log. Program. Gérard Ferrand, Pierre Deransart
1993	J	`jnl`	Proof Methods of Declarative Properties of Definite Programs. Theor. Comput. Sci. Pierre Deransart
1992	J	`jnl`	An Operational Formal Definition of PROLOG: A Specification Method and Its Application. New Gener. Comput. Pierre Deransart, Gérard Ferrand
1992	—	`conf`	Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. JICSLP Gérard Ferrand, Pierre Deransart
1992	—	`conf`	Software Formal Specification by Logic Programming: The Example of Standard Prolog. Logic Programming Summer School AbdelAli Ed-Dbali, Pierre Deransart
1991	—	`conf`	NSTO Programs (Not Subject to Occur-Check). ISLP Pierre Deransart, Gérard Ferrand, Michel Téguia
1991	B	`conf`	Software Development and Logic Programming. ICLP Yves Deville, Leon Sterling, Pierre Deransart
1990	—	`ed.`	Attribute Grammars and their Applications, International Conference WAGA, Paris, France, September 19-21, 1990, Proceedings WAGA Pierre Deransart, Martin Jourdan
1990	—	`ed.`	Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings PLILP Pierre Deransart, Jan Maluszynski
1989	—	`ed.`	Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orléans, France, May 16-18, 1988, Proceedings PLILP Pierre Deransart, Bernard Lorho, Jan Maluszynski
1989	—	`conf`	Proofs of Declarative Properties of Logic Programs. TAPSOFT, Vol.1 Pierre Deransart
1989	—	`conf`	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 Pierre Deransart
1989	—	`conf`	Test d'occurence en PROLOG et grammaires attribuées. SPLT Pierre Deransart, Gérard Ferrand, Michel Téguia
1989	—	`conf`	Une vue méthodologique de la Programmation en Logique avec négation. SPLT Pierre Deransart, Gérard Ferrand
1988	—	`conf`	A Grammatical View of Logic Programming. PLILP Pierre Deransart, Jan Maluszynski
1988	—	`book`	Attribute Grammars: Definitions, Systems, and Bibliography. Pierre Deransart, Martin Jourdan, Bernard Lorho
1988	J	`jnl`	Proofs of Partial Correctness for Attribute Grammars with Applications to Recursive Procedures and Logic Programming Inf. Comput. Bruno Courcelle, Pierre Deransart
1987	—	`conf`	An Operational Formal Definition of PROLOG. SLP Pierre Deransart, Gérard Ferrand
1987	—	`conf`	Preuves de correction partielle des programmes logiques. SPLT Pierre Deransart
1987	—	`conf`	Spécification formelle de Prolog standard. SPLT Pierre Deransart, C. Moss, G. Richard
1986	—	`conf`	Programmation en logique: méthodologie et enseignement. SPLT Pierre Deransart, Gérard Ferrand
1985	—	`conf`	Détection d'erreurs en programmation en logique. SPLT Pierre Deransart, Gérard Ferrand
1985	J	`jnl`	Relating Logic Programs and Attribute Grammars. J. Log. Program. Pierre Deransart, Jan Maluszynski
1984	—	`conf`	Modélisation du flot de données par des schémas d'attributs dans les programmes logiques. SPLT Pierre Deransart, Jan Maluszynski
1984	J	`jnl`	Speeding up Circularity Tests for Attribute Grammars. Acta Informatica Pierre Deransart, Martin Jourdan, Bernard Lorho
1983	B	`conf`	An Operational Algebraic Semantics of Prolog Programs. Logic Programming Workshop Pierre Deransart
1983	—	`conf`	Logical Attribute Grammars. IFIP Congress Pierre Deransart
1983	—	`conf`	Une sémantique opérationnelle algébrique de programmes PROLOG. SPLT Pierre Deransart
1982	—	`conf`	Prolog et types abstraits algébriques. SPLT Pierre Deransart
1981	—	`conf`	Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog. CAAP Marc Bergman, Pierre Deransart
1979	J	`jnl`	Proof by Semantic Attributes of a LISP Compiler. Comput. J. Pierre Deransart
1979	J	`jnl`	The language LISP does not exist? ACM SIGPLAN Notices Pierre Deransart