A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation.

Pablo Chico de Guzmán Manuel Carro Manuel V. Hermenegildo

Published in: ICLP (2008)

Keyphrases

program execution
execution traces
detection scheme
control flow
control program
symbolic execution
real time
search engine
test cases
static analysis
programming environment
application programs
execution model