Reproducible Execution of POSIX Programs with DiOS.
Petr RockaiZuzana BaranováJan MrázekKatarína KejstováJiri BarnatPublished in: CoRR (2019)
Keyphrases
- control flow
- program execution
- database transactions
- execution model
- application programs
- symbolic execution
- data flow
- computer programs
- databases
- prolog programs
- active databases
- database systems
- parallel execution
- automatic programming
- database
- multi agent
- java programs
- plan generation
- programming environment
- answer sets
- data model
- query processing