Locating Type Errors in Untyped CLP Programs.

Wlodzimierz Drabent Jan Maluszynski Pawel Pietrzak

Published in: Analysis and Visualization Tools for Constraint Programming (2000)

Keyphrases

constraint logic programming
databases
computer programs
database
feature selection
e learning
three dimensional
high level
error analysis
fixpoint
provably correct