A semantics comparison workbench for a concurrent, asynchronous, distributed programming language.
Claudio CorrodiAlexander HeußnerChristopher M. PoskittPublished in: Formal Aspects Comput. (2018)
Keyphrases
- programming language
- denotational semantics
- logic programming
- specification language
- database languages
- programming language constructs
- general purpose
- concurrent programming
- object oriented
- domain specific languages
- high level
- distributed constraint satisfaction problems
- programming environment
- software engineering
- search algorithm
- object oriented programming
- data abstraction
- distributed environment
- distributed systems
- strongly typed
- database
- formal semantics
- semantic data models
- mobile agents
- object oriented concepts
- database management systems
- operational semantics
- database design
- integrity constraints
- distributed databases