A Certified Data Race Analysis for a Java-like Language.
Frédéric DabrowskiDavid PichardiePublished in: TPHOLs (2009)
Keyphrases
- data analysis
- raw data
- data sets
- database
- training data
- data sources
- programming language
- data objects
- statistical analysis
- synthetic data
- high quality
- empirical data
- data points
- complex data
- data processing
- correlation analysis
- quantitative data
- language learning
- sensor data
- data mining techniques
- small number
- prior knowledge
- relational databases
- natural language