Approaches to Improved Program Validation Through Programming Language Design,

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.

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1972
Accession Number
AD0751826

Entities

People

  • Donald W. Kosy

Organizations

  • RAND Corporation

Tags

DTIC Thesaurus Topics

  • Computer Languages
  • Computer Programming
  • Efficiency
  • Language
  • Production
  • Programming Languages
  • Validation

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computer Science.
  • Explosive Engineering.
  • Software Engineering.