Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas Reps  Home/Search
Context Related
Links: ACM DBLP | wisc.edu/wpis/papers/fse99.ps geocities.com/ResearchTrian...fse.ps.gz belllabs.com/user/schandra/...fse99.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: wisc.edu/wpis/html/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . The use of type casts is pervasive in C. Although casts provide great flexibility in writing programs, their use obscures the meaning of programs, and can present obstacles during maintenance. Casts involving pointers to structures (C structs) are particularly problematic, because by using them, a programmer can interpret any memory region to be of any desired type, thereby compromising C's already weak type system. This paper presents an approach for making sense of such casts, in terms of... (Update)
Cited by: More
An Efficient and Backwards-Compatible Transformation to.. - Xu, DuVarney, Sekar (2004) (Correct)
CCured: Type-Safe Retrofitting of Legacy Code - Necula, McPeak, Weimer (2002) (Correct)
CCured in the Real World - Jeremy Condit Matthew (2003) (Correct)
Similar documents (at the sentence level):
63.5%: Coping with Type Casts in C - Siff, Chandra, Kunchithapadam, Reps (1999) (Correct)
Active bibliography (related documents): More All
0.4: Physical Type Checking for C - Chandra, Reps (1999) (Correct)
0.2: Debugging via Run-Time Type Checking - Loginov, Yong, Horwitz, Reps (2001) (Correct)
0.1: Program Generalization for Software Reuse: From C to C++ - Siff, Reps (1996) (Correct)
Similar documents based on text: More All
0.3: Case-study: Casting in C++ - Ti Ng In (Correct)
0.2: A Hierarchical Model for Coordination of Concurrent Activities - Varela, Agha (1999) (Correct)
0.2: Constraint Programming Approaches to A Scheduling Problem in.. - Smith, Smith (1997) (Correct)
Related documents from co-citation: More All
9: concurrent checking of pointer and array accesses in C programs (context) - Patil, Fischer - 1997
8: Physical type checking for C - Chandra, Reps - 1999
7: Debugging via run-time type checking - Loginov, Yong et al. - 2001
BibTeX entry: (Update)
M. Siff, S. Chandra, T. Ball K. Kunchithapadam, and T. Reps. Coping with type casts in C. Technical Report BL0113590-990202-03, Lucent Technologies, Bell Laboratories, February 1999. Available at http://www.bell-labs.com/~schandra/pubs/coping-tr.ps. http://citeseer.ist.psu.edu/siff99coping.html More
@inproceedings{ siff99coping,
author = "Michael Siff and Satish Chandra and Thomas Ball and Krishna Kunchithapadam and Thomas W. Reps",
title = "Coping with Type Casts in C",
booktitle = "{ESEC} / {SIGSOFT} {FSE}",
pages = "180-198",
year = "1999",
url = "citeseer.ist.psu.edu/siff99coping.html" }
Citations (may not include all citations):369 A semantics of multiple inheritance - Cardelli - 1984
152 Semantics of Programming Languages (context) - Gunter - 1992 ACM
128 On understanding types (context) - Cardelli, Wegner - 1985
88 Static detection of dynamic memory errors - Evans - 1996 ACM DBLP
48 Points-to analysis by type inference of programs with struct.. - Steensgaard - 1996
35 Lackwit: A program understanding tool based on type inferenc.. - O'Callahan, Jackson - 1997
17 Coping with type casts in c - Siff, Chandra et al. - 1999
16 Towards an ML-style polymorphic type system for C - Smith, Volpano - 1996 ACM DBLP
15 Program generalization for software reuse: From C to C - Siff, Reps - 1996
14 program checker (context) - Johnson - 1978
10 Polymorphic components for monomorphic languages (context) - Grosch, Snelting - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.wisc.edu/wpis/html/): More
Coping with Type Casts in C - Siff, Chandra, Kunchithapadam, Reps (1999) (Correct)
Physical Type Checking for C - Chandra, Reps (1999) (Correct)
Physical Type Checking for C - Chandra, Reps (1999) (Correct)
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