C2S: translating natural language comments to formal program specifications.
Juan ZhaiYu ShiMinxue PanGuian ZhouYongxiang LiuChunrong FangShiqing MaLin TanXiangyu ZhangPublished in: ESEC/SIGSOFT FSE (2020)
Keyphrases
- natural language
- formal language
- controlled natural language
- formal specification
- written in natural language
- natural language interface
- formal semantics
- reactive systems
- language processing
- control flow
- execution traces
- formal languages
- specification language
- recursive programs
- delay insensitive
- operational semantics
- semantic analysis
- static analysis
- program synthesis
- formal model
- logical formulas
- concurrent systems
- question answering
- formal descriptions
- machine learning
- data sets
- natural language text
- reverse engineering
- model checking
- knowledge representation
- e learning