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

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1980
Accession Number
ADA083279

Entities

People

  • Billy G. Claybrook

Organizations

  • University of Connecticut

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Computer Access Control
  • Computer Programming
  • Encapsulation
  • Inclusions
  • Language
  • Notation
  • Programming Languages
  • Security
  • Semantics
  • Specifications
  • Standards
  • Words (Language)

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Systems Analysis and Design