Measuring the Execution Time of Fragmented Programs.

Victor V. Toporkov Anna S. Toporkova

Published in: Program. Comput. Softw. (2005)

Keyphrases

program execution
control flow
execution model
symbolic execution
data flow
application programs
artificial intelligence
computer programs
programming environment
prolog programs
data sets
website
plan execution
execution environment
provably correct