On Revival of Algol-Concepts in Modern Programming and Specification Languages.
Hans LangmaackPublished in: Formal Methods and Hybrid Real-Time Systems (2007)
Keyphrases
- specification languages
- programming language
- object oriented concepts
- formal specification
- object oriented programs
- programming environment
- concurrent programming
- object oriented programming
- concept learning
- object oriented
- domain knowledge
- development environment
- programming course
- abstract data types
- code examples