L. Cardelli, J. Donahue, L. Glassman, M. Jordan, B. Kalsow, and G. Nelson. Modula3 report, 1989. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
CCured: Type-Safe Retrofitting of Legacy Code - Necula, McPeak, Weimer (2002) (8 citations) (Correct)
....the same reason that we must mark some of the pointers DYNAMIC: its safety cannot be guaranteed at compile time. Si et al. 24] identify that many casts in C programs are safe upcasts and present a tool to check such casts. The programming languages CLU [17] Cedar Mesa [16] and Modula f2 ,3g [5] include similar notions of a dynamic type and a typecase statement. This idea can also be seen in CAML s exception type [22] Other related work in this area falls into three broad categories: 1) extensions to C s type system, 2) adding runtime checks to C, and (3) removing run time checks ....
L. Cardelli, J. Donahue, L. Glassman, M. Jordan, B. Kalsow, and G. Nelson. Modula3 report, 1989.
CCured: Type-Safe Retrofitting of Legacy Code - Necula, McPeak, Weimer (2002) (63 citations) (Correct)
No context found.
L. Cardelli, J. Donahue, L. Glassman, M. Jordan, B. Kalsow, and G. Nelson. Modula3 report, 1989.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC