How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages.
Christel BaierMila E. Majster-CederbaumPublished in: Fundam. Informaticae (1997)
Keyphrases
- programming language
- denotational semantics
- logic programming
- programming language constructs
- specification language
- database languages
- concurrent programming
- object oriented
- general purpose
- software engineering
- high level
- operational semantics
- programming environment
- domain specific languages
- semantic data models
- strongly typed
- data abstraction
- fluent calculus
- query language
- object oriented concepts
- data structure
- source code
- open source
- language constructs
- database
- artificial intelligence