Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory.
Simon Friis VindumLars BirkedalPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- logic programming
- memory usage
- modal logic
- dynamically created
- random access memory
- memory size
- classical logic
- automated reasoning
- real time
- predicate logic
- logical framework
- memory space
- epistemic logic
- memory requirements
- read write
- mutual exclusion
- hierarchical reinforcement learning
- sound and complete axiomatization
- reasoning about actions
- external memory
- computational properties
- limited memory
- multi valued
- computational power
- main memory
- expressive power
- database management systems
- logic programs
- knowledge representation
- neural network