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

130 A practical approach to programming with assertions – David S. Rosenblum - 1995
269 Purify: Fast detection of memory leaks and access errors – Reed Hastings, Bob Joyce - 1991
1221 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
2 run--time checking for C programs – Bcc - 1983
28 Saber-C: an interpreter-based programming environment for the C language – Stephen Kaufer, Russell Lopez, Sasha Pratap - 1988
15 concurrent checking of pointer and array accesses in C programs – Low-cost - 1997
29 Adding run-time checking to the portable C compiler – J L Steffen
1174 Tcl and the Tk Toolkit – John K. Ousterhout - 1994
472 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
334 Self-adjusting binary search trees – D D AND TARJAN SLEATOR, R E - 1985
2 Improving software quality with assertion insertion – H Yin, J M Bieman - 1994
154 Advances in Software Inspections – M E Fagan - 1986
73 F.W.: An Overview of Anna, A Specification Language for Ada – D C Luckham, von Henke - 1985
56 Experience with inspection in ultralarge-scale developments – G W Russell - 1991
279 Design and code inspections to reduce errors in program development – M E Fagan - 1976
505 Assigning meanings to programs – R W Floyd - 1967
206 Dynamic program slicing – Bogdan Korel - 1988