MixT: a language for mixing consistency in geodistributed transactions.

Matthew Milano Andrew C. Myers

Published in: PLDI (2018)

Keyphrases

natural language
programming language
language learning
database
artificial intelligence
language processing
acid properties
replicated data
specification language
distributed database systems
correctness criteria
transactional data
operational semantics
transaction processing
expressive power
databases
real time