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

Abstract

The objective of the research reported here was to develop a specification method for the specification of abstract data types 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. A constructive specification method was developed for specifying abstract data types. Abstract data types are specified using the module encapsulation mechanism. A constructive specification consists of two parts: a logical structure specification and a semantics operations specification. The constructive specification method is described in the following pages. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 1981
Accession Number
ADA096755

Entities

People

  • Anne-marie Discepolo
  • Billy G. Claybrook

Organizations

  • University of South Carolina

Tags

Communities of Interest

  • Human Systems

DTIC Thesaurus Topics

  • Abstracts
  • Computer Access Control
  • Computer Programming
  • Computer Science
  • Concrete
  • Databases
  • Encapsulation
  • Language
  • Programming Languages
  • Relational Databases
  • Semantics
  • Side Effects
  • Software Development
  • South Carolina
  • Specifications

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Database Systems and Applications