Deriving of Linear Size Relations by Abstract Interpretation.

Kristof Verschaetse Danny De Schreye

Published in: PLILP (1992)

Keyphrases

abstract interpretation
termination analysis
databases
logic programs
model checking
database
information systems
case study
management system
active databases