Towards Automated Program Abstraction and Language Enrichment.
Sergej ChodarevEmília PietrikováJán KollárPublished in: SLATE (2013)
Keyphrases
- computer programs
- programming environment
- intended meaning
- programming language
- hardware designs
- declarative semantics
- fully automated
- language learning
- semi automated
- high level
- semantically equivalent
- logic programming language
- language processing
- data abstraction
- deductive databases
- computer aided
- modelling language
- programs written
- natural language
- artificial intelligence
- target language
- modeling language
- representation language
- specification language
- operational semantics
- english language
- expert systems