Steam-oriented Computation in Recursive Data Flow Schemas
In this thesis we present a parallel programming language based on a parallel computation model known as data flow schemas. Syntactically, the language resembles programming languages such as Algol 60, but does not have GOTO's, WHILE-loops, and non-local variables. The attractiveness of this ap...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/148896 |
| _version_ | 1811081209472614400 |
|---|---|
| author | Weng, Kung-Song |
| author2 | Dennis, Jack B. |
| author_facet | Dennis, Jack B. Weng, Kung-Song |
| author_sort | Weng, Kung-Song |
| collection | MIT |
| description | In this thesis we present a parallel programming language based on a parallel computation model known as data flow schemas. Syntactically, the language resembles programming languages such as Algol 60, but does not have GOTO's, WHILE-loops, and non-local variables. The attractiveness of this approach lies in the inherently determinate nature of data flow schemas and the possiblity of formalizing the semantics of the language within the formalism suggested by Scott and Strachey. The language provides programming features for stream-oriented computation and intercommunicating systems. We introduce the notions of proper initialization and termination of such systems. A subclass of determinate systems in which these properties can be easily checked is defined and a translation into recursive data flow schemas is given. |
| first_indexed | 2024-09-23T11:43:11Z |
| id | mit-1721.1/148896 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T11:43:11Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1488962023-03-30T03:50:23Z Steam-oriented Computation in Recursive Data Flow Schemas Weng, Kung-Song Dennis, Jack B. In this thesis we present a parallel programming language based on a parallel computation model known as data flow schemas. Syntactically, the language resembles programming languages such as Algol 60, but does not have GOTO's, WHILE-loops, and non-local variables. The attractiveness of this approach lies in the inherently determinate nature of data flow schemas and the possiblity of formalizing the semantics of the language within the formalism suggested by Scott and Strachey. The language provides programming features for stream-oriented computation and intercommunicating systems. We introduce the notions of proper initialization and termination of such systems. A subclass of determinate systems in which these properties can be easily checked is defined and a translation into recursive data flow schemas is given. 2023-03-29T14:06:14Z 2023-03-29T14:06:14Z 1975-10 https://hdl.handle.net/1721.1/148896 MIT-LCS-TM-068 application/pdf |
| spellingShingle | Weng, Kung-Song Steam-oriented Computation in Recursive Data Flow Schemas |
| title | Steam-oriented Computation in Recursive Data Flow Schemas |
| title_full | Steam-oriented Computation in Recursive Data Flow Schemas |
| title_fullStr | Steam-oriented Computation in Recursive Data Flow Schemas |
| title_full_unstemmed | Steam-oriented Computation in Recursive Data Flow Schemas |
| title_short | Steam-oriented Computation in Recursive Data Flow Schemas |
| title_sort | steam oriented computation in recursive data flow schemas |
| url | https://hdl.handle.net/1721.1/148896 |
| work_keys_str_mv | AT wengkungsong steamorientedcomputationinrecursivedataflowschemas |