Intuitionistic Implication in Abstract Interpretation.

Roberto Giacobazzi Francesca Scozzari

Published in: PLILP (1997)

Keyphrases

abstract interpretation
termination analysis
fuzzy relations
static analysis
reasoning engine
linear logic
active rules
model checking
dynamic analysis
functional dependencies
active databases
theorem prover
integrity constraints
fuzzy sets
fine grained
case study
data quality
source code
fuzzy logic