Clustered Relational Thread-Modular Abstract Interpretation with Local Traces.

Michael Schwarz Simmo Saan Helmut Seidl Julian Erhard Vesal Vojdani

Published in: CoRR (2023)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
model checking
relational databases
active databases
dynamic analysis
data model
reasoning engine
high level