Design and Implementation of a Multi-Level System Using Software Modules,

Abstract

A mechanism for holding programs in syntactic form was desired for use by systems which operate on other programs: program verifiers, automatic programming systems, and specialized text editors. The mechanism was designed using the software module specification language of D.L. Parnas, and implemented in SAIL, an Algol-like language on the PDP 10. It is suggested that specifications assist in both the design and implementation process. (Author)

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1973
Accession Number
AD0766319

Entities

People

  • L. Robinson

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Automatic
  • Automatic Programming
  • Computer Programming
  • Computing-Related Activities
  • Language
  • Specifications

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Database Systems and Applications