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