Login / Signup
A Proof Recipe for Linearizability in Relaxed Memory Separation Logic.
Sunho Park
Jaewoo Kim
Ike Mulder
Jaehwang Jung
Janggun Lee
Robbert Krebbers
Jeehoon Kang
Published in:
Proc. ACM Program. Lang. (2024)
Keyphrases
</>
sequent calculi
cut elimination
modal logic
linear logic
sequent calculus
memory usage
natural deduction
main memory
low memory
computing power
optimal solution
memory space
limited memory
memory size
automated reasoning
theorem proving
inference rules
memory requirements
proof theoretic
logic programs