5 citations · 12 across the 10 of their papers we have counts for
6 papers · 1 filter
Towards a Generic Trace for Rule Based Constraint Reasoning
Armando Gonçalves Da Silva Junior, Pierre Deransart, Luis-Carlos Menezes +2
CHR is a very versatile programming language that allows programmers to declaratively specify constraint solvers. An important part of the development of such solvers is in their t…
Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning
Pierre Deransart, Rafael Oliveira
In this report, we show how to use the Simple Fluent Calculus (SFC) to specify generic tracers, i.e. tracers which produce a generic trace. A generic trace is a trace which can be…
Observational semantics of the Prolog Resolution Box Model
Pierre Deransart, Mireille Ducassé, Gérard Ferrand
This paper specifies an observational semantics and gives an original presentation of the Byrd box model. The approach accounts for the semantics of Prolog tracers independently of…
On using Tracer Driver for External Dynamic Process Observation
Pierre Deransart
One is interested here in the observation of dynamic processes starting from the traces which they leave or those that one makes them produce. It is considered here that it should…
HyperPro An integrated documentation environment for CLP
AbdelAli Ed-Dbali, Pierre Deransart, Mariza A. S. Bigonha +2
The purpose of this paper is to present some functionalities of the HyperPro System. HyperPro is a hypertext tool which allows to develop Constraint Logic Programming (CLP) togethe…
Prototyping CLP(FD) Tracers: a Trace Model and an Experimental Validation Environment
Ludovic Langevine, Pierre Deransart, Mireille Ducasse +1
Developing and maintaining CLP programs requires visualization and explanation tools. However, existing tools are built in an ad hoc way. Therefore porting tools from one platform…