1 citations · 1 across the 1 of their papers we have counts for
4 papers
Rigorous design of tracers: an experiment for constraint logic programming
Mireille Ducasse, Ludovic Langevine, Pierre Deransart
In order to design and implement tracers, one must decide what exactly to trace and how to produce this trace. On the one hand, trace designs are too often guided by implementation…
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…
Well-Typed Logic Programs Are not Wrong
Pierre Deransart, Jan-Georg Smaus
We consider prescriptive type systems for logic programs (as in Goedel or Mercury). In such systems, the typing is static, but it guarantees an operational property: if a program i…