Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management.

Lau Skorstengaard, Dominique Devriese, Lars Birkedal

Browse the full ESOP paper archive.