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]
@inproceedings{Hamid05, title = {Certified memory management for proof-carrying code: a region-based type system and runtime library}, author = {Nadeem Abdul Hamid}, year = {2005}, doi = {10.1145/1167253.1167310}, url = {http://doi.acm.org/10.1145/1167253.1167310}, tags = {rule-based, memory management, type system}, researchr = {https://researchr.org/publication/Hamid05}, cites = {0}, citedby = {0}, pages = {248-249}, booktitle = {Proceedings of the 43nd Annual Southeast Regional Conference, 2005, Kennesaw, Georgia, Alabama, USA, March 18-20, 2005, Volume 2}, editor = {Mário Guimarães}, publisher = {ACM}, isbn = {1-59593-059-0}, }