Execution of NVRAM Programs with Persistent Stack.

Vitaly Aksenov Ohad Ben-Baruch Danny Hendler Ilya Kokorin Matan Rusanovsky

Published in: PaCT (2021)

Keyphrases

control flow
program execution
application programs
database transactions
execution model
symbolic execution
social networks
parallel execution
genetic algorithm
computer programs
databases
case study
distributed databases
programming environment
active rules
automatic programming