Specification based on Backus-Naur Formalism and Programming Language.
GuoyongPeimin DengJiali FengPublished in: APLAS (2002)
Keyphrases
- programming language
- specification language
- high level
- fluent calculus
- general purpose
- object oriented
- logic programming
- operational semantics
- programming environment
- object oriented programming
- denotational semantics
- strongly typed
- high level programming language
- computer programs
- formal specification
- conceptual model
- database languages
- software engineering
- knowledge representation
- database language
- query language
- functional language
- programming paradigms
- search algorithm