Montages Specifications of Realistic Programming Languages.
Philipp W. KutterAlfonso PierantonioPublished in: J. Univers. Comput. Sci. (1997)
Keyphrases
- programming language
- specification language
- high level
- object oriented
- general purpose
- strongly typed
- programming environment
- logic programming
- object oriented programming
- functional programming
- software engineering
- formal specification
- data model
- data abstraction
- computer programs
- functional language
- programming paradigms
- database systems
- program code
- machine learning
- formal model
- denotational semantics
- high level programming language