A Separation Logic with Data: Small Models and Automation.

Jens Katelaan, Dejan Jovanovic, Georg Weissenbacher

Browse the full CADE paper archive.