Pierre Deransart

	2012
65		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)
	2011
64		Pierre Deransart: Generic Traces and Constraints, GenTra4CP revisited CoRR abs/1105.6210: (2011)
	2010
63		Pierre Deransart, Rafael Oliveira: Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning CoRR abs/1001.2188: (2010)
	2007
62		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)
61		Pierre Deransart, Mireille Ducassé, Gérard Ferrand: Observational semantics of the Prolog Resolution Box Model CoRR abs/0711.4071: (2007)
60		Pierre Deransart: On using Tracer Driver for External Dynamic Process Observation CoRR abs/cs/0701106: (2007)
	2004
59		Pierre Deransart: Main Results of the OADymPPaC Project. ICLP 2004: 456-457
	2003
58		Ludovic Langevine, Pierre Deransart, Mireille Ducassé: A Generic Trace Schema for the Portability of CP(FD) Debugging Tools. CSCLP 2003: 171-195
57		Ludovic Langevine, Mireille Ducassé, Pierre Deransart: A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation. ICLP 2003: 269-283
56		Ludovic Langevine, Pierre Deransart: Un nouveau traceur générique pour GNU-Prolog. JFPLC 2003: 97-110
55		Pierre Deransart, Ludovic Langevine, Mireille Ducassé: Demonstration: Debugging constraint problems with portable tools. WLPE 2003: 46-47
54		Mireille Ducassé, Ludovic Langevine, Pierre Deransart: Rigorous design of tracers: an experiment for constraint logic programming CoRR cs.SE/0310042: (2003)
53		Pierre Deransart, Ludovic Langevine: Un nouveau traceur générique pour GNU-Prolog. Technique et Science Informatiques 22(1): 97-110 (2003)
	2002
52		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-
51		Pierre Deransart, Jan-Georg Smaus: Subject Reduction of Logic Programs as Proof-Theoretic Property. Journal of Functional and Logic Programming 2002: (2002)
	2001
50		Pierre Deransart, Jan-Georg Smaus: Well-Typed Logic Programs Are not Wrong. FLOPS 2001: 280-295
49		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
48		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
47		Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier: Prototyping CLP(FD) tracers: a trace model and an experimental validation environment. WLPE 2001
	2000
46		Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski: Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project) Springer 2000
45		Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski: Introduction. Analysis and Visualization Tools for Constraint Programming 2000: 1-20
44		Christophe Aillaud, Pierre Deransart: Towards a Language for CLP Choice-Tree Visualisation. Analysis and Visualization Tools for Constraint Programming 2000: 209-236
43		Jan-Georg Smaus, François Fages, Pierre Deransart: Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping. FSTTCS 2000: 214-226
42		Pierre Deransart, Jan-Georg Smaus: Les programmes bien typés ont tout bon. JFPLC 2000: 49-66
41		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)
40		Pierre Deransart, Jan-Georg Smaus: Well-Typed Logic Programs Are not Wrong CoRR cs.LO/0012015: (2000)
	1999
39		Christophe Aillaud, Pierre Deransart: Vers un arbre de spécification d'arbres de choix en PLC. JFPLC 1999: 249-264
	1997
38		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
	1996
37		Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni: Prolog - the standard: reference manual. Springer 1996: I-XIV, 1-272
36		Pascal Chambre, Pierre Deransart, Jan Maluszynski: Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale. JFPLC 1996: 115-130
35		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
	1995
34		Pierre Deransart, Henryk Jan Komorowski: Task Force on Logic Program Development (Compulog Project). LPE 1995
	1994
33		Sophie Renault, Pierre Deransart: A Proof Manager for Verification of Logic Programs. LPE 1994: 0-
32		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)
	1993
31		Pierre Deransart, Jan Maluszynski: A grammatical view of logic programming. MIT Press 1993: I-XXXI, 1-454
30		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)
29		Pierre Deransart: Proof Methods of Declarative Properties of Definite Programs. Theor. Comput. Sci. 118(2): 99-166 (1993)
	1992
28		Gérard Ferrand, Pierre Deransart: Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. JICSLP 1992: 161-174
27		AbdelAli Ed-Dbali, Pierre Deransart: Software Formal Specification by Logic Programming: The Example of Standard Prolog. Logic Programming Summer School 1992: 278-289
26		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)
	1991
25		Yves Deville, Leon Sterling, Pierre Deransart: Software Development and Logic Programming. ICLP 1991: 941
24		Pierre Deransart, Gérard Ferrand, Michel Téguia: NSTO Programs (Not Subject to Occur-Check). ISLP 1991: 533-547
	1990
23		Pierre Deransart, Jan Maluszynski: Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings Springer 1990
22		Pierre Deransart, Martin Jourdan: Attribute Grammars and their Applications, International Conference WAGA, Paris, France, September 19-21, 1990, Proceedings Springer 1990
	1989
21		Pierre Deransart, Bernard Lorho, Jan Maluszynski: Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orléans, France, May 16-18, 1988, Proceedings Springer 1989
20		Pierre Deransart, Gérard Ferrand, Michel Téguia: Test d'occurence en PROLOG et grammaires attribuées. SPLT 1989: 113-142
19		Pierre Deransart, Gérard Ferrand: Une vue méthodologique de la Programmation en Logique avec négation. SPLT 1989: 403-
18		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-
17		Pierre Deransart: Proofs of Declarative Properties of Logic Programs. TAPSOFT, Vol.1 1989: 207-226
	1988
16		Pierre Deransart, Martin Jourdan, Bernard Lorho: Attribute Grammars: Definitions, Systems, and Bibliography. Springer 1988
15		Pierre Deransart, Jan Maluszynski: A Grammatical View of Logic Programming. PLILP 1988: 219-251
14		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)
	1987
13		Pierre Deransart, Gérard Ferrand: An Operational Formal Definition of PROLOG. SLP 1987: 162-172
12		Pierre Deransart: Preuves de correction partielle des programmes logiques. SPLT 1987: 29-
11		Pierre Deransart, C. Moss, G. Richard: Spécification formelle de Prolog standard. SPLT 1987: 455-
	1986
10		Pierre Deransart, Gérard Ferrand: Programmation en logique: méthodologie et enseignement. SPLT 1986: 75-90
	1985
9		Pierre Deransart, Gérard Ferrand: Détection d'erreurs en programmation en logique. SPLT 1985
8		Pierre Deransart, Jan Maluszynski: Relating Logic Programs and Attribute Grammars. J. Log. Program. 2(2): 119-155 (1985)
	1984
7		Pierre Deransart, Jan Maluszynski: Modélisation du flot de données par des schémas d'attributs dans les programmes logiques. SPLT 1984
6		Pierre Deransart, Martin Jourdan, Bernard Lorho: Speeding up Circularity Tests for Attribute Grammars. Acta Inf. 21: 375-391 (1984)
	1983
5		Pierre Deransart: Logical Attribute Grammars. IFIP Congress 1983: 463-469
4		Pierre Deransart: Une sémantique opérationnelle algébrique de programmes PROLOG. SPLT 1983
	1982
3		Pierre Deransart: Prolog et types abstraits algébriques. SPLT 1982
	1981
2		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
	1979
1		Pierre Deransart: Proof by Semantic Attributes of a LISP Compiler. Comput. J. 22(3): 240-245 (1979)

Coauthor Index

1	Christophe Aillaud	[39] [44]
2	Marc Bergman	[2]
3	Mariza Andrade da Silva Bigonha	[48] [49]
4	Roberto da Silva Bigonha	[35] [48] [49]
5	Francisco Bueno	[38]
6	Laurent Cervoni	[37]
7	Pascal Chambre	[36]
8	Bruno Courcelle	[14]
9	Yves Deville	[25]
10	Wlodzimierz Drabent (Wlodek Drabent)	[38]
11	Mireille Ducassé	[47] [52] [54] [55] [57] [58] [61] [62]
12	AbdelAli Ed-Dbali	[27] [37] [48] [49]
13	François Fages	[41] [43]
14	Gérard Ferrand	[9] [10] [13] [19] [20] [24] [26] [28] [30] [38] [61] [62]
15	Manuel V. Hermenegildo	[38] [45] [46]
16	Erwan Jahier	[47] [52]
17	Martin Jourdan	[6] [16] [22]
18	Armando Gonçalves Da Silva Junior	[65]
19	Henryk Jan Komorowski	[34]
20	Ludovic Langevine	[47] [52] [53] [54] [55] [56] [57] [58]
21	Bernard Lorho	[6] [16] [21]
22	Jan Maluszynski	[7] [8] [15] [21] [23] [31] [36] [38] [45] [46]
23	Luis-Carlos Menezes	[65]
24	C. Moss	[11]
25	Rafael Oliveira	[63]
26	Patrick Parot	[35]
27	Germán Puebla (German Puebla)	[38]
28	Sophie Renault	[32] [33]
29	G. Richard	[11]
30	Jacques Robin	[65]
31	Marcos Aurélio Almeida da Silva	[65]
32	José de Siqueira	[35] [48] [49]
33	Jan-Georg Smaus	[40] [41] [42] [43] [50] [51]
34	Leon Sterling	[25]
35	Michel Téguia	[20] [24]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page