Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Hamid, Nadeem Abdul - Department of Mathematics and Computer Science, Berry College
Building Certified Libraries for PCC: Dynamic Storage Allocation
A Syntactic Approach to Foundational ProofCarrying Code Nadeem Abdul Hamid
A Syntactic Approach to Foundational ProofCarrying Code # Nadeem A. Hamid Zhong Shao Valery Trifonov Stefan Monnier Zhaozhong Ni
Science of Computer Programming 50 (2004) 101127 www.elsevier.com/locate/scico
A Syntactic Approach to Foundational Proof-Carrying Code
Yale University Department of Computer Science
Building Certi ed Libraries for PCC: Dynamic Storage Allocation ?
A Syntactic Approach to Foundational Proof-Carrying Code
A Syntactic Approach to Foundational Proof-Carrying Code Nadeem A. Hamid Zhong Shao Valery Trifonov Stefan Monnier Zhaozhong Ni
Interfacing Hoare Logic and Type Systems for Foundational ProofCarrying Code ?
A Syntactic Approach to Foundational Proof-Carrying Code Nadeem Abdul Hamid
Certified Memory Management for Proof-Carrying Code: A Region-Based Type System and Runtime Library
Yale University Department of Computer Science
Interfacing Hoare Logic and Type Systems for Foundational Proof-Carrying Code
