Adding Run-time Checking to the Portable C Compiler Joseph L. Steffen At T...  Home/Search
Context
Related
| cs.ubc.ca/local/reading/...spe757js.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: cs.ubc.ca/local/reading/...spetoc (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: INTRODUCTION The need for run-time checking of array subscripts and pointer bounds is apparent to any experienced C programmer. For example, it once took six months to find the cause of an intermittent bug because it could not be reliably reproduced. Saying that some other language should have been used instead of C is not productive, as each language has its problems, and there are usually several constraints that lead to the choice of a particular language. A language may do run-time... (Update)
Active bibliography (related documents): More All
0.5: Backwards-compatible bounds checking for arrays and pointers.. - Jones, Kelly (Correct)
0.3: Efficient Detection of All Pointer and Array Access Errors - Austin, Breach, Sohi (1994) (Correct)
0.2: Software---Practice And Experience, Vol. 23(7), 693--710 .. - Lock-And-Key Strategies .. (Correct)
Similar documents based on text: More All
0.2: Runtime Checking of Multithreaded Applications with Visual Threads - Harrow, Jr. (2000) (Correct)
0.2: Dynamic Event Generation for Runtime Checking using the JDI - Brörkens, Möller (2002) (Correct)
0.1: A Generic Approach of Static Analysis for Detecting Runtime.. - Jia, Skevoulis (1999) (Correct)
BibTeX entry: (Update)
@misc{ checking-sofiwarepractice,
author = "Adding Run-Time Checking",
title = "Sofiware---Practice And Experience, Vol. 22(4), 305--316 (april 1992)",
url = "citeseer.ist.psu.edu/582890.html" }
Citations (may not include all citations):18 The SNOBOL4 Programming Language (context) - Griswold, Poage et al. - 1971
18 A portable compiler: theory and practice (context) - Johnson - 1978 DBLP
8 Saber-C: an interpreter-based programming environment for th.. (context) - Kaufer, Lopez et al. - 1988
4 The implementation of run-time diagnostics in Pascal (context) - Fischer, LeBlanc - 1980 DBLP
2 Error checking with pointer variables (context) - Zelkowitz, McMullin et al. - 1976 ACM
1 Bee: runtime checking for C programs (context) - Kendall - 1983
1 Error checking, tracing, and dumping in an ALGOL 68 checkout.. (context) - Thompson - 1977 ACM
1 Illinois Institute of Technology (context) - Dewar, Version - 1971
1 Economics range checks in Pascal (context) - Welsh - 1978
1 Experience with a portable debugging tool (context) - Steffen - 1984 ACM DBLP
Documents on the same site (http://www.cs.ubc.ca/local/reading/proceedings/spe91-95/spe/spetoc.htm): More
Linkage Analysis of Processes - Yaung, Raz (1992) (Correct)
A Scheme for Little Languages in Interactive Graphics - Beckman (1991) (Correct)
A Dataflow Approach to Event-based Debugging - Olsson, Crawford, Ho (1991) (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