Reproducible Execution of POSIX Programs with DiOS.

Petr Rockai Zuzana Baranová Jan Mrázek Katarína Kejstová Jiri Barnat

Published in: SEFM (2019)

Keyphrases

program execution
control flow
symbolic execution
data flow
computer programs
control structures
database transactions
execution environment
execution model
control program
artificial intelligence
application programs
provably correct
prolog programs
plan execution
database
concurrent execution