Nadeem Abdul Hamid. Certified memory management for proof-carrying code: a region-based type system and runtime library. In Mário Guimarães, editor, Proceedings of the 43nd Annual Southeast Regional Conference, 2005, Kennesaw, Georgia, Alabama, USA, March 18-20, 2005, Volume 2. pages 248-249, ACM, 2005. [doi]
Abstract is missing.