Towards a wide spectrum language to support program specification and program development.
Friedrich L. BauerManfred BroyRupert GnatzWolfgang HesseBernd Krieg-BrücknerPublished in: Fachtagung über Programmiersprachen (1978)
Keyphrases
- programming environment
- computer programs
- knowledge management
- programming environments
- case study
- wide range
- semantically equivalent
- programming language
- decision support
- static analysis
- practical experience
- code generator
- computer hardware
- control program
- modelling language
- program execution
- operational semantics
- specification language
- design tools
- natural language
- database systems