Variables as Resource in Hoare Logics.

Matthew J. Parkinson, Richard Bornat, Cristiano Calcagno

Browse the full LICS paper archive.