Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris.
Jan-Oliver KaiserHoang-Hai DangDerek DreyerOri LahavViktor VafeiadisPublished in: ECOOP (2017)
Keyphrases
- formal theory
- iris recognition
- memory requirements
- modal operators
- multi valued
- modal logic
- predicate logic
- memory usage
- computational properties
- memory space
- classical logic
- logic programming
- random access
- probabilistic knowledge
- probabilistic logic
- iris biometrics
- random access memory
- complete axiomatization
- logical framework
- iris localization
- memory size
- causal reasoning
- defeasible logic
- spatial reasoning
- constraint networks
- global constraints
- main memory