Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes.
Bertrand JeannetPublished in: SAS (2002)
Keyphrases
- transfer function
- data types
- abstract interpretation
- termination analysis
- static analysis
- active rules
- database systems
- data model
- data structure
- image enhancement
- model checking
- contrast enhancement
- dynamic analysis
- reasoning engine
- active databases
- database management systems
- reverse engineering
- data mining algorithms
- data mining