Programming Language Abstractions for Modularly Verified Distributed Systems.
James R. WilcoxIlya SergeyZachary TatlockPublished in: SNAPL (2017)
Keyphrases
- distributed systems
- programming language
- high level
- abstract data types
- fault tolerant
- object oriented
- general purpose
- load balancing
- software engineering
- programming environment
- distributed environment
- fault tolerance
- geographically distributed
- distributed computing
- mobile agents
- strongly typed
- operating system
- data replication
- message passing
- specification language
- denotational semantics
- object oriented programming
- distributed database systems
- data abstraction
- database languages
- deadlock detection
- artificial intelligence
- object oriented concepts
- computer programs
- mobile computing
- database technology
- database applications
- programs written
- open source
- concurrent programming