79 citations · 353 across the 23 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 24 cited
Nested Hoare Triples and Frame Rules for Higher-order Store
Jan Schwinghammer, Lars Birkedal, Bernhard Reus +1
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language…
cs.PL2011★ 57 cited
Logical Step-Indexed Logical Relations
Derek Dreyer, Amal Ahmed, Lars Birkedal
Appel and McAllester's "step-indexed" logical relations have proven to be a simple and effective technique for reasoning about programs in languages with semantically interesting t…