Abstract Interpretation under Speculative Execution.

Meng Wu Chao Wang

Published in: CoRR (2019)

Keyphrases

abstract interpretation
speculative execution
termination analysis
static analysis
model checking
active rules
active databases
dynamic analysis
reasoning engine
transactional memory
database
case study
distributed systems
memory subsystem