A Logical Model for Relational Abstract Domains.
Roberto GiacobazziFrancesca ScozzariPublished in: ACM Trans. Program. Lang. Syst. (1998)
Keyphrases
- computational model
- formal model
- high level
- probabilistic model
- mathematical model
- prior knowledge
- relational databases
- database
- theoretical analysis
- parameter estimation
- image segmentation
- data model
- cost function
- management system
- case study
- theoretical framework
- neural network
- conceptual model
- simulation model
- data sets