A Verified CompCert Front-End for a Memory Model Supporting Pointer Arithmetic and Uninitialised Data.
Frédéric BessonSandrine BlazyPierre WilkePublished in: J. Autom. Reason. (2019)
Keyphrases
- management system
- data sets
- experimental data
- data structure
- input data
- database
- prior knowledge
- original data
- data processing
- data collection
- data quality
- probability distribution
- synthetic data
- statistical analysis
- expert knowledge
- computer systems
- statistical model
- simulation data
- data management
- image data
- high quality
- memory capacity
- data mining techniques
- training data
- limited memory
- data samples
- empirical data
- historical data
- learning models
- objective function
- prior information
- end users
- conceptual model
- knowledge discovery
- computational model