A sound polymorphic type system for a dialect of C Export

@article{citeulike:1762274, abstract = {This paper presents a provably-sound type system for a polymorphic dialect of C, called Polymorphic C. It has the same pointer operations as C, including the address-of operator \&, the dereferencing operator *, and pointer arithmetic. The type system allows these operations without any restrictions on them so that programmers can enjoy C's pointer flexibility and yet have type security and polymorphism as in ML. Also, although we do not address it here, it is straightforward to do type...}, author = {Smith, Geoffrey and Volpano, Dennis}, citeulike-article-id = {1762274}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.8177}, journal = {Science of Computer Programming}, keywords = {c, polymorphic}, number = {1--3}, pages = {49--72}, posted-at = {2007-11-10 16:16:46}, priority = {0}, title = {A sound polymorphic type system for a dialect of C}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.8177}, volume = {32}, year = {1998} }

TY - JOUR ID - citeulike:1762274 L3 - citeulike-article-id:1762274 N2 - This paper presents a provably-sound type system for a polymorphic dialect of C, called Polymorphic C. It has the same pointer operations as C, including the address-of operator &, the dereferencing operator *, and pointer arithmetic. The type system allows these operations without any restrictions on them so that programmers can enjoy C's pointer flexibility and yet have type security and polymorphism as in ML. Also, although we do not address it here, it is straightforward to do type... IS - 1--3 JF - Science of Computer Programming EP - 72 TI - A sound polymorphic type system for a dialect of C VL - 32 SP - 49 KW - c KW - polymorphic AU - Smith, Geoffrey AU - Volpano, Dennis PY - 1998/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.8177 ER -