Determinacy of Hierarchical Dataflow Model

Authors

Takayuki Dan Kimura, Washington University in St. Louis

Document Type

Technical Report

Publication Date

1986-03-01

Filename

WUCS-86-5.pdf

Technical Report Number

WUCS-86-05

Abstract

A parallel computation model suitable for icon based visual programming languages is proposed. The model is uses to design a functional programming language for school children. A computation is specified by boxes and arrows forming a partially ordered set of nested boxes. Loops and Boolean data tokens are eliminated from the traditional dataflow model. Block structures are logical consistency (exception) are added. A declarative semantics of the model is defined formally. Using the formalism it is proved that the model is determinate.

Comments

Permanent URL: http://dx.doi.org/10.7936/K7FX77SF

Recommended Citation

Kimura, Takayuki Dan, "Determinacy of Hierarchical Dataflow Model" Report Number: WUCS-86-05 (1986). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/840