1 citations · 1 across the 1 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2001
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…
cs.PL2001
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…