Login / Signup
Infer Precise Program Invariant Using Abstract Interpretation with Recurrence Solving.
Zhenpeng Fang
Xibin Zhao
Min Zhou
Published in:
COMPSAC (1) (2017)
Keyphrases
</>
abstract interpretation
static analysis
termination analysis
dynamic analysis
knowledge representation
source code
active rules
information systems
knowledge base
open source
data management
active databases
reasoning engine