Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292.
Cristiano CalcagnoSamin S. IshtiaqPeter W. O'HearnPublished in: PPDP (2000)
Keyphrases
- semantic analysis
- natural language
- natural language understanding
- natural language processing
- data structure
- semantic information
- syntactic analysis
- logic programming
- resource allocation
- high frequency
- frequency domain
- high resolution
- modal logic
- parse tree
- syntactic parsing
- classical logic
- databases
- mobile devices
- information retrieval
- machine learning
- wordnet
- semantic relations
- super resolution
- information extraction
- knowledge base
- semantic meaning