A Behavioral Specification of Imperative Programming Languages.
Masaki NakamuraMasahiro WatanabeKokichi FutatsugiPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2006)
Keyphrases
- programming language
- specification language
- high level
- object oriented
- general purpose
- software engineering
- high level programming language
- programming environment
- logic programming
- strongly typed
- language constructs
- formal specification
- object oriented programming
- object oriented concepts
- database languages
- description language
- data abstraction
- programming paradigms
- database