Login / Signup
Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks.
Mark Niklas Müller
Marc Fischer
Robin Staab
Martin T. Vechev
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
fixpoint
abstract interpretation
deductive databases
logic programs
termination analysis
active rules
finite state machines
model checking
static analysis
horn clauses
logic programming
active databases
datalog programs
integrity constraints
reasoning engine
expert systems