BiGUL: a formally verified core language for putback-based bidirectional programming.
Hsiang-Shang KoTao ZanZhenjiang HuPublished in: PEPM (2016)
Keyphrases
- programming language
- object oriented programming
- programming environment
- oriented programming
- scripting language
- natural language
- language learning
- oracle pl sql
- object oriented
- computer programs
- databases
- concurrent programming
- abstract data types
- high level
- modeling language
- specification language
- java programming
- language processing
- development environment
- open source
- computational linguistics
- database systems
- control structures
- case study
- search engine
- data sets