P. Deransart

发表

Eighth International Workshop on Constraint Handling Rules Workshop Organization Program Chair Modeling Dependent Events with Chrism for Probabilistic Abduction . . 48 Boosting Chr through Hardware Acceleration Chr for Spoken and Other Biological Languages

J. Robin, Armando Gonçalves, P. Deransart, 2011 .

A Generic Trace Schema for the Portability of CP(FD) Debugging Tools

M. Ducassé, P. Deransart, Ludovic Langevine, 2003, CSCLP.

What kind of grammars are logic programs

Pierre Deransart, P. Deransart, Jan Matuszyński, 1990 .

On the Role of Semantic Approximat ions in Validation and Diagnosis of Constraint Logic Programs ( Extended Abstract )

G. Puebla, M. Hermenegildo, J. Maluszynski, 2013 .

Towards a Simple Textual Trace Based Personal Exo-Memory

P. Deransart, 2010 .

Components for Rule-Based Constraint Programming in the Large

F. Fages, J. Robin, P. Deransart, 2009 .

An Operational Formal Definition of PROLOG

Gérard Ferrand, Pierre Deransart, P. Deransart, 1987, International Conference on Spoken Language Processing.

Programming Languages Implementation and Logic Programming

Pierre Deransart, B. Lorho, J. Małuszyński, 1989, Lecture Notes in Computer Science.

Model for Finite DomainSolvers ?

P. Deransart, Ludovic Langevine, Mireille Du ass, 2007 .

C P Debugging Tools Clarification of functionalities . Selection of the tools

G. Puebla, M. Hermenegildo, F. Benhamou, 2013 .

CP debugging tools: Clarification of functionalities and selection of the tools

Jan Maluszynski, Manuel V. Hermenegildo, Frédéric Goualard, 1997 .

Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning pdf

Pierre Deransart, Rafael Oliveira, P. Deransart, 2009, ArXiv.

HyperPro - An integrated documentation environment for CLP

Roberto da Silva Bigonha, Pierre Deransart, AbdelAli Ed-Dbali, 2001, WLPE.

Attribute Grammars and their Applications

Pierre Deransart, M. Jourdan, M. Jourdan, 1990, Lecture Notes in Computer Science.

Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction

Jan Maluszynski, Manuel V. Hermenegildo, Pierre Deransart, 2000, Analysis and Visualization Tools for Constraint Programming.

An operational formal definition of PROLOG: a specification method and its application

Gérard Ferrand, Pierre Deransart, P. Deransart, 1992, New Generation Computing.

Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog

Pierre Deransart, Marc Bergman, P. Deransart, 1981, CAAP.

Relating Logic Programs and Attribute Grammars

Jan Maluszynski, Pierre Deransart, J. Maluszynski, 1985, J. Log. Program..

On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs

Wlodzimierz Drabent, Jan Maluszynski, Manuel V. Hermenegildo, 1997, AADEBUG.

A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation

Mireille Ducassé, Ludovic Langevine, Pierre Deransart, 2003, ICLP.

The language LISP does not exist?

P. Deransart, P. Deransart, 1979, SIGP.

Attribute Grammars

Pierre Deransart, Martin Jourdan, Bernard Lorho, 1988, Lecture Notes in Computer Science.

Proofs of Declarative Properties of Logic Programs

Pierre Deransart, P. Deransart, 1989, TAPSOFT, Vol.1.

Towards a Generic Trace for Rule Based Constraint Reasoning pdf

Pierre Deransart, Marcos Aurélio Almeida da Silva, Jacques Robin, 2012, ArXiv.

Proof Methods of Declarative Properties of Definite Programs

Pierre Deransart, P. Deransart, 1993, Theor. Comput. Sci..

Towards Soft Typing for CLP

P. Deransart, P. Deransart, 2007 .

A grammatical view of logic programming

Jan Maluszynski, Pierre Deransart, J. Maluszynski, 1988, PLILP.

Proofs of Partial Correctness for Attribute Grammars with Applications to Recursive Procedures and Logic Programming

Bruno Courcelle, Pierre Deransart, B. Courcelle, 1988, Inf. Comput..

Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs

Gérard Ferrand, Pierre Deransart, P. Deransart, 1993, J. Log. Program..

Logical Attribute Grammars

Pierre Deransart, P. Deransart, 1983, IFIP Congress.

An Operational Algebraic Semantics of Prolog Programs

Pierre Deransart, P. Deransart, 1983, Logic Programming Workshop.