Analyse automatisée de traces d'exécution de programmes CLP(FD).

Mireille Ducassé Ludovic Langevine

Published in: JFPLC (2002)

Keyphrases

constraint logic programming
technology enhanced
m learning
execution traces
source code
higher education
evolutionary algorithm
constraint programming
lifelong learning
search engine
lower bound
logic programming
temporal reasoning
log files
constraint solving