Abstract Interpretation for Type Checking.

Gilberto Filé P. Sottero

Published in: PLILP (1991)

Keyphrases

type checking
abstract interpretation
termination analysis
static analysis
data types
model checking
active rules
dynamic analysis
active databases
reasoning engine
query processor
abstract data types
relational calculus
object model
user defined
data exchange
relational algebra
data mining
source code