ANNA: towards a language for annotating Ada programs.
Bernd Krieg-BrücknerDavid C. LuckhamPublished in: SIGPLAN (1980)
Keyphrases
- computer programs
- control structures
- object oriented languages
- programming environment
- programming language
- natural language
- dynamic logic
- intermediate level
- language learning
- agent programming
- error handling
- database languages
- fixpoint
- concurrent programming
- metadata
- semantic annotation
- functional programs
- functional language
- automatic programming
- recursive programs
- programs written
- logic programming language
- english language
- computational linguistics
- general purpose
- high level