Accession Number:

ADA083279

Title:

Data Structure Definition and Access Control Facilities for Languages Designed for the Development of Reliable Software.

Descriptive Note:

Final rept. 1 Sep 78-31 Aug 79,

Corporate Author:

CONNECTICUT UNIV STORRS

Personal Author(s):

Report Date:

1980-04-01

Pagination or Media Count:

15.0

Abstract:

The purpose of the research described here was to develop a data structure definition facility DSDF and an access control facility suitable for inclusion in high-level programming languages. The research was not intended to include the design of a complete language but instead involved the development of programming language features that aid in the development of languages designed for producing reliable software. The DSDF was to be capable of specifying and implementing a wide variety of views of data. The intentions were to develop a facility capable of defining real world data objects as well as system-oriented data objects. In addition, the DSDF was to merge the language view of real world and system data objects. Author

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE