Accession Number:

AD0751826

Title:

Approaches to Improved Program Validation Through Programming Language Design,

Descriptive Note:

Corporate Author:

RAND CORP SANTA MONICA CALIF

Personal Author(s):

Report Date:

1972-07-01

Pagination or Media Count:

26.0

Abstract:

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE