Consistency types for replicated data in a higher-order distributed programming language.
Xin ZhaoPhilipp HallerPublished in: Art Sci. Eng. Program. (2021)
Keyphrases
- programming language
- replicated data
- distributed systems
- distributed database systems
- higher order
- distributed databases
- lambda calculus
- distributed environment
- data replication
- object oriented
- general purpose
- high level
- strongly typed
- software engineering
- distributed computing
- concurrency control
- load balancing
- fault tolerance
- fault tolerant
- denotational semantics
- database management systems
- transaction processing
- database systems
- machine learning
- database applications
- object oriented databases
- peer to peer
- object oriented programming
- data availability
- artificial intelligence
- mobile agents
- fine grained
- communication cost
- multi dimensional
- multi agent