Extensions to the C Programming Language for Enhanced Fault Detection (1993)

Cached

Download Links

by David W. Flater , Yelena Yesha , E. K. Park
Venue:Software -- Practice and Experience
Citations:7 - 0 self

Documents Related by Co-Citation

140 A practical approach to programming with assertions – David S. Rosenblum - 1995
303 Purify: Fast detection of memory leaks and access errors – Reed Hastings, Bob Joyce - 1991
1364 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
3 Error checking with pointer variables – P R McMullin M V Zelkowitz, K R Merkel, H J Larsen - 1976
2 checking patches for the GNU C compiler. Available via the worldwide web from http://www-dse.doc.ic.ac.uk/- rj3/bounds-checking.html and via anonymous ftp from ftp://dse.doc.ic.ac.uk/pub/misc/bcc – Bounds
29 Saber-C: An InterpreterBased Programming Environment for the C Language – S Kaufer, R Lopez, S Pratap - 1988
32 Adding run-time checking to the portable C compiler – Steffen - 1992
16 concurrent checking of pointer and array accesses in C programs – Low-cost - 1997
3 run–time checking for C programs – Bcc - 1983
1209 Tcl and the Tk Toolkit – John K. Ousterhout - 1994
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
377 Self-adjusting binary search trees – D D Sleator, R E Tarjan - 1985
2 Improving software quality with assertion insertion – H Yin, J M Bieman - 1994
59 Experience with Inspection in Ultralarge-Scale Development – G W Russell - 1991
79 An overview of Anna, a specification language for Ada – David C Luckham, Friedrich W von Henke - 1985
174 Advances in Software Inspection – M E Fagan - 1986
320 Design and Code Inspections to Reduce Errors in Program Development – M Fagan - 1976
571 Assigning meanings to programs – R W Floyd - 1967
159 Program Slices: Formal, Psychological, and Practical Investigations of an Automatic Program Abstraction Method – M Weiser - 1979