Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact).
Jan-Oliver KaiserHoang-Hai DangDerek DreyerOri LahavViktor VafeiadisPublished in: Dagstuhl Artifacts Ser. (2017)
Keyphrases
- formal theory
- modal operators
- modal logic
- logic programming
- computing power
- random access memory
- memory size
- classical logic
- iris recognition
- automated reasoning
- memory space
- main memory
- spatial reasoning
- qualitative reasoning
- causal reasoning
- predicate logic
- proof theory
- memory usage
- high level
- limited memory
- global constraints
- consistency checking
- knowledge representation
- database systems