Charge! - A Framework for Higher-Order Separation Logic in Coq.

Jesper Bengtson, Jonas Braband Jensen, Lars Birkedal

Browse the full ITP paper archive.