On consistency types for lattice-based distributed programming languages.
Xin ZhaoPhilipp HallerPublished in: CoRR (2019)
Keyphrases
- programming language
- object oriented
- general purpose
- programming environment
- denotational semantics
- software engineering
- distributed systems
- logic programming
- strongly typed
- functional programming
- high level
- lambda calculus
- semantic data models
- language constructs
- specification language
- distributed environment
- data abstraction
- object oriented programming
- database languages
- computer programs
- semantic network
- cloud computing