Programming Language Studies. I. The Power of Control Structures and Data Structures.

Abstract

This report seeks to provide the basis for a quantitatively precise theory of the relative power of programming language control structures and data structures. The first of a two-part series, it concentrates on the relative power of programming language structures, while part 2 will deal with the relationship of language structures to program verification. This report is a collection of the papers produced under the above grant. The papers have been organized to clearly expose the central concept treated in this research: graph embeddings and their relationship to programming languages.

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1976
Accession Number
ADA032043

Entities

People

  • Richard Demillo
  • Richard J. Lipton
  • Stanley Eisenstat

Organizations

  • University of Wisconsin–Milwaukee

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Computer Languages
  • Computer Programming
  • Cooperation
  • Embedding
  • Formal Languages
  • Language
  • Military Research
  • Programming Languages
  • Verification

Fields of Study

  • Engineering

Readers

  • Computer Science.
  • Graph Algorithms and Convex Optimization.
  • Systems Analysis and Design