Enforcing Trace Properties by Program Transformation.

Thomas Colcombet Pascal Fradet

Published in: POPL (2000)

Keyphrases

desirable properties
neural network
static analysis
global consistency
program execution
execution traces
imperative programs
real time
artificial intelligence
computer vision
case study
search algorithm