Syntax-Guided Synthesis with Quantitative Syntactic Objectives.
Qinheping HuLoris D'AntoniPublished in: CAV (1) (2018)
Keyphrases
- syntactic semantic
- natural language
- attribute grammars
- syntactic analysis
- semantic constraints
- context free grammars
- program synthesis
- qualitative and quantitative
- multiple objectives
- data sets
- semantic representation
- natural language processing
- dependency parsing
- grammar rules
- phrase structure
- lexical semantics
- machine learning
- texture synthesis
- database systems
- case study
- artificial intelligence
- word order
- syntactic categories
- real time