Error free code
Salvatore Mamone · ACM SIGPLAN Notices · 1984
Much has been written about error free code; what it is, and how to attain it. Given that error free code is desirable and worth striving for, can it ever be realized in the majority of our code? I believe that the answer regrettably, is no. If one were to disregard the every day simple applications; like our 50th update program, or simple reports, error free code in large systems is not attainable. There are a number of reasons for that pessimistic statement, such as the following: multiplicity of design methodologies, non use of reusable code, time constraints, user misunderstanding, and testing. The following is an examination of each of the previous reasons.