A Program Transformation for Continuation Call-Based Tabled Execution

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

Published in: CoRR (2009)

Keyphrases

program execution
symbolic execution
control flow
execution traces
databases
real time
object oriented
data flow
execution environment
database
image processing
multiscale
open source
computer programs
concurrent execution