On execution spaces of PV-programs.

Krzysztof Ziemianski

Published in: Theor. Comput. Sci. (2016)

Keyphrases

program execution
control flow
symbolic execution
application programs
execution model
database transactions
website
intermediate level
computer programs
control structures