Automated Analysis of CLP(FD) Program Execution Traces.

Mireille Ducassé Ludovic Langevine

Published in: ICLP (2002)

Keyphrases

execution traces
automated analysis
source code
automated detection
visual analysis
biomedical imaging
program comprehension
constraint logic programming
expert systems
video analysis
databases
database systems
cell nuclei
vocal cord
social network analysis
computer vision
machine learning