| 2007 |
|---|
| 60 | EE | 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) |
| 59 | EE | Pierre Deransart,
Mireille Ducassé,
Gérard Ferrand:
Observational semantics of the Prolog Resolution Box Model
CoRR abs/0711.4071: (2007) |
| 58 | EE | Pierre Deransart:
On using Tracer Driver for External Dynamic Process Observation
CoRR abs/cs/0701106: (2007) |
| 2004 |
|---|
| 57 | EE | Pierre Deransart:
Main Results of the OADymPPaC Project.
ICLP 2004: 456-457 |
| 2003 |
|---|
| 56 | EE | Ludovic Langevine,
Pierre Deransart,
Mireille Ducassé:
A Generic Trace Schema for the Portability of CP(FD) Debugging Tools.
CSCLP 2003: 171-195 |
| 55 | EE | Ludovic Langevine,
Mireille Ducassé,
Pierre Deransart:
A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation.
ICLP 2003: 269-283 |
| 54 | | Ludovic Langevine,
Pierre Deransart:
Un nouveau traceur générique pour GNU-Prolog.
JFPLC 2003: 97-110 |
| 53 | | Pierre Deransart,
Ludovic Langevine,
Mireille Ducassé:
Demonstration: Debugging constraint problems with portable tools.
WLPE 2003: 46-47 |
| 52 | EE | Mireille Ducassé,
Ludovic Langevine,
Pierre Deransart:
Rigorous design of tracers: an experiment for constraint logic programming
CoRR cs.SE/0310042: (2003) |
| 51 | EE | Pierre Deransart,
Ludovic Langevine:
Un nouveau traceur générique pour GNU-Prolog.
Technique et Science Informatiques 22(1): 97-110 (2003) |
| 2002 |
|---|
| 50 | | 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- |
| 49 | EE | Pierre Deransart,
Jan-Georg Smaus:
Subject Reduction of Logic Programs as Proof-Theoretic Property.
Journal of Functional and Logic Programming 2002: (2002) |
| 2001 |
|---|
| 48 | EE | Pierre Deransart,
Jan-Georg Smaus:
Well-Typed Logic Programs Are not Wrong.
FLOPS 2001: 280-295 |
| 47 | | 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 |
| 46 | EE | 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 |
| 45 | EE | Ludovic Langevine,
Pierre Deransart,
Mireille Ducassé,
Erwan Jahier:
Prototyping CLP(FD) tracers: a trace model and an experimental validation environment.
WLPE 2001 |
| 2000 |
|---|
| 44 | | Pierre Deransart,
Manuel V. Hermenegildo,
Jan Maluszynski:
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Springer 2000 |
| 43 | | Pierre Deransart,
Manuel V. Hermenegildo,
Jan Maluszynski:
Introduction.
Analysis and Visualization Tools for Constraint Programming 2000: 1-20 |
| 42 | | Christophe Aillaud,
Pierre Deransart:
Towards a Language for CLP Choice-Tree Visualisation.
Analysis and Visualization Tools for Constraint Programming 2000: 209-236 |
| 41 | EE | Jan-Georg Smaus,
François Fages,
Pierre Deransart:
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping.
FSTTCS 2000: 214-226 |
| 40 | | Pierre Deransart,
Jan-Georg Smaus:
Les programmes bien typés ont tout bon.
JFPLC 2000: 49-66 |
| 39 | EE | 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) |
| 38 | EE | Pierre Deransart,
Jan-Georg Smaus:
Well-Typed Logic Programs Are not Wrong
CoRR cs.LO/0012015: (2000) |
| 1999 |
|---|
| 37 | | Christophe Aillaud,
Pierre Deransart:
Vers un arbre de spécification d'arbres de choix en PLC.
JFPLC 1999: 249-264 |
| 1997 |
|---|
| 36 | EE | 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 |
|---|
| 35 | | Pascal Chambre,
Pierre Deransart,
Jan Maluszynski:
Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale.
JFPLC 1996: 115-130 |
| 34 | | 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 |
|---|
| 33 | | Pierre Deransart,
Henryk Jan Komorowski:
Task Force on Logic Program Development (Compulog Project).
LPE 1995 |
| 1994 |
|---|
| 32 | | Sophie Renault,
Pierre Deransart:
A Proof Manager for Verification of Logic Programs.
LPE 1994: 0- |
| 31 | EE | 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 |
|---|
| 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, Fance, 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) |
