Stable relations and abstract interpretation of higher-order programs.

Benoît Montagu Thomas P. Jensen

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

abstract interpretation
higher order
termination analysis
static analysis
model checking
active rules
dynamic analysis
pairwise
active databases
reasoning engine
database
databases
fine grained
information systems
software engineering
logic programming