Intuitionistic Implication in Abstract Interpretation.

Roberto Giacobazzi Francesca Scozzari

Published in: APPIA-GULP-PRODE (1997)

Keyphrases

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