Keyphrases
- computer programs
- programming language
- intended meaning
- programming environment
- database
- language learning
- functional programs
- programs written
- natural language
- declarative semantics
- operational semantics
- single view
- high level
- low level
- semantically equivalent
- multiple views
- higher level
- computational linguistics
- specification language
- view synthesis
- deductive databases
- intermediate level
- program execution
- control program
- general purpose
- query language
- viewpoint