A programming language perspective on transactional memory consistency.
Hagit AttiyaAlexey GotsmanSandeep HansNoam RinetzkyPublished in: PODC (2013)
Keyphrases
- programming language
- general purpose
- object oriented
- high level
- transactional memory
- software engineering
- programming environment
- programs written
- denotational semantics
- strongly typed
- computing systems
- computer programs
- object oriented programming
- functional programming
- machine learning
- database
- speculative execution
- parallel architectures
- hardware design
- parallel computing
- design patterns
- data structure
- artificial intelligence