Generalizing Extended Execution for Normal Programs.

Published in: LOPSTR (1994)

Keyphrases

program execution
database transactions
application programs
automatic programming
data sets
control flow
symbolic execution
real world
information retrieval
artificial intelligence
computer programs