Similar Items: A Load-Buffer Semantics for Total Store Ordering
- TSO Games -- On the decidability of safety games under the total store order semantics (extended LMCS version with appendix)
- Nested Hoare Triples and Frame Rules for Higher-order Store
- Game semantics for first-order logic
- Semantics of Higher-Order Recursion Schemes
- SHIFT: Self-Healing Intelligence in Feature Store and Data Store Transitions
- Extensional Semantics for Higher-Order Logic Programs with Negation