Approaches to Improved Program Validation Through Programming Language Design,
RAND CORP SANTA MONICA CALIF
Pagination or Media Count:
Program test and checkout for production quality software often consumes 40-50 of the program development effort. Yet the languages in which most programs are written contain relatively few constructs to support this activity. Some even believe that certain language features are harmful and tend to promote errors, thereby greatly impacting the program test effort. The purpose of this paper is to explore the relation between the language in which a program is written and the ease and efficiency of making sure that program is correct.
- Computer Programming and Software