Automated generation of program translation and verification tools using annotated grammars.
Diego Ordóñez CamachoKim MensMark van den BrandJurgen J. VinjuPublished in: Sci. Comput. Program. (2010)
Keyphrases
- program understanding
- software tools
- model checking
- symbolic execution
- user friendly
- semi automated
- language resources
- formal methods
- grammatical inference
- hardware designs
- computer programs
- search based software testing
- visual languages
- programming environments
- manually annotated
- fully automated
- machine translation
- decision support
- natural language
- program execution
- context free grammars
- knowledge base