Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic.
Susumu NishimuraPublished in: AMAST (2006)
Keyphrases
- data sets
- data structure
- training data
- data collection
- high quality
- data processing
- data analysis
- data transfer
- raw data
- prior knowledge
- experimental data
- image data
- probability distribution
- modal logic
- original data
- synthetic data
- knowledge discovery
- knowledge representation
- data sources
- relational databases
- feature space
- social networks
- databases