Inferring functional properties of matrix manipulating programs by abstract interpretation.

Matthieu Journault Antoine Miné

Published in: Formal Methods Syst. Des. (2018)

Keyphrases

abstract interpretation
functional properties
termination analysis
static analysis
boolean functions
active rules
model checking
reasoning engine
dynamic analysis
active databases
knowledge base
information systems
pattern matching
heuristic search