Article

Article detail, metadata, authors, and available full-text links.

Paper reader

Loading paper...

article · 2009

2 citationsDOI: https://doi.org/10.3724/sp.j.1016.2008.00556

Design and Proof of a Safe Programming Language PointerC