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