A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language.
Claudio CorrodiAlexander HeußnerChristopher M. PoskittPublished in: CoRR (2017)
Keyphrases
- programming language
- denotational semantics
- logic programming
- programming language constructs
- specification language
- concurrent programming
- object oriented
- database languages
- distributed constraint satisfaction problems
- software engineering
- general purpose
- distributed systems
- programming environment
- high level
- computer programs
- strongly typed
- fluent calculus
- data abstraction
- domain specific languages
- object oriented programming
- distributed environment
- object oriented concepts
- data model
- semantic data models
- formal semantics
- distributed databases
- conceptual model
- open source
- high level programming language
- databases