Login / Signup
Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis.
Marco Campion
Mila Dalla Preda
Roberto Giacobazzi
Published in:
Proc. ACM Program. Lang. (2022)
Keyphrases
</>
multi agent systems
abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
fuzzy sets
dynamic analysis
high level
active databases
relational databases
fuzzy logic