Tracing the execution of C++ programs.

Published in: ACM SIGCSE Bull. (2001)

Keyphrases

program execution
control flow
symbolic execution
database transactions
computer programs
data flow
execution model
answer sets
active databases
multiscale
application programs
plan generation
learning algorithm
control structures
efficient execution
data mining
real time