New Lace and Arsenic: adventures in weak memory with a program logic.
Richard BornatJade AlglaveMatthew J. ParkinsonPublished in: CoRR (2015)
Keyphrases
- asynchronous circuits
- driving force
- modal logic
- computational power
- classical logic
- memory space
- multi valued
- programming environment
- memory usage
- deontic logic
- memory requirements
- logic programming
- control program
- semantics of logic programs
- multi threaded
- predicate logic
- random access memory
- neural network
- random access
- computing power
- computer programs
- temporal logic
- programming language
- management system
- three dimensional
- information systems