Login / Signup
Improving Thread-Modular Abstract Interpretation.
Michael Schwarz
Simmo Saan
Helmut Seidl
Kalmer Apinis
Julian Erhard
Vesal Vojdani
Published in:
SAS (2021)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
model checking
active databases
active rules
database
information systems
reasoning engine