C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Abstract Interpretation using a Language of Symbolic Approximation.
Matthieu Lemerre
Sébastien Bardin
Published in:
CoRR (2017)
Keyphrases
</>
abstract interpretation
termination analysis
programming language
static analysis
natural language
active databases
active rules
high level
reasoning engine
case study