Improving Thread-Modular Abstract Interpretation.

Michael Schwarz Simmo Saan Helmut Seidl Kalmer Apinis Julian Erhard Vesal Vojdani

Published in: CoRR (2021)

Keyphrases

abstract interpretation
termination analysis
static analysis
dynamic analysis
databases
information systems
xml documents
database applications
software architecture
reasoning engine