Generating Data Flow Programs from Nonprocedural Specifications.

Abstract

Data flow is a mode of parallel computation in which parallelism in a program can be exploited at the fine grained as well as macro level. A data flow computer executes a data dependency graph rather than the program counter controlled sequence of instructions executed by conventional machines. Nonprocedural languages appear to be especially appropriate high level languages for data flow computers. Nonprocedural languages have only two statement forms: data description and assertion. The assertions enumerate the relationships among the data. A data dependency graph is also a suitable representation for a nonprocedural language program (or specification). This research is concerned with translating the dependency graph form of a specification to a program graph for a data flow machine. Specifications in the MODEL language are translated into an intermediate form, the data flow template. The template is a language-independent representation of the specification. The template is then translated into a data flow language (Manchester Dataflow) for the Manchester University machine. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1983
Accession Number
ADA132609

Entities

People

  • Maya Balkrishna Gokhale

Organizations

  • Moore School of Electrical Engineering

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Computational Science
  • Computations
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Computing System Architectures
  • Construction
  • Electrical Engineering
  • Engineering
  • High Level Languages
  • Linguistics
  • Machine Languages
  • Network Topology
  • Parallel Computing
  • Programming Languages
  • Topology

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Graph Algorithms and Convex Optimization.
  • Software Engineering.