Accession Number : ADA132609

Title :   Generating Data Flow Programs from Nonprocedural Specifications.

Descriptive Note : Doctoral thesis,

Corporate Author : MOORE SCHOOL OF ELECTRICAL ENGINEERING PHILADELPHIA PA DEPT OF COMPUTER AND INFORMATION SCIENCES

Personal Author(s) : Gokhale,Maya Balkrishna

PDF Url : ADA132609

Report Date : Mar 1983

Pagination or Media Count : 218

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)

Descriptors :   *Machine translation, *Data transmission systems, Programming languages, Parallel processing, Templates, Specifications, Data processing, Computer architecture, Computations, Algorithms, Data storage systems, Scheduling, Graphs

Subject Categories : Computer Programming and Software
      Computer Hardware

Distribution Statement : APPROVED FOR PUBLIC RELEASE