Less Abstract Semantics for Abstract Interpretation of FGHC Programs.

Published in: FGCS (1992)

Keyphrases

abstract interpretation
active rules
termination analysis
static analysis
model checking
active databases
reasoning engine
dynamic analysis
integrity constraints
formal semantics
control flow
deductive databases
case study
semantic information
logic programming
source code
temporal information