Rigorous design of tracers: an experiment for constraint logic programming

Mireille Ducassé Ludovic Langevine Pierre Deransart

Published in: CoRR (2003)

Keyphrases

constraint logic programming
user interface
constraint solving
high level
lower bound
logic programming
design process
constraint programming
logic programming language