Modular verification of higher-order methods with mandatory calls specified by model programs.
Steve M. ShanerGary T. LeavensDavid A. NaumannPublished in: OOPSLA (2007)
Keyphrases
- higher order
- high order
- hybrid method
- formal model
- computational model
- statistical models
- information retrieval
- preprocessing
- data sets
- predictive model
- linear regression
- benchmark datasets
- verification method
- qualitative and quantitative
- statistical methods
- conceptual model
- machine learning methods
- statistical model
- mathematical model
- parameter estimation
- graphical models
- probability distribution
- probabilistic model
- significant improvement
- pairwise