Execution of NVRAM Programs with Persistent Stack.
Vitaly AksenovOhad Ben-BaruchDanny HendlerIlya KokorinMatan RusanovskyPublished in: CoRR (2021)
Keyphrases
- program execution
- control flow
- symbolic execution
- database transactions
- information systems
- data flow
- automatic programming
- artificial intelligence
- relational databases
- control program
- computer programs
- intermediate level
- runtime environment
- database
- prolog programs
- execution model
- application programs
- plan execution
- fixpoint
- integrity constraints
- knowledge base
- learning algorithm
- genetic algorithm
- databases