Towards a Complete Scheme for Tabled Execution Based on Program Transformation.

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

Published in: PADL (2009)

Keyphrases

program execution
execution traces
control flow
detection scheme
symbolic execution
representation scheme
plan generation
data sets
data mining
genetic algorithm
image segmentation
video sequences
classification scheme
static analysis