First Version of a Data Flow Procedure Language
A language for representing computational procedures based on the concept of data flow is presented in terms of a semantic model that permits concurrent execution of noninterfering program parts. Procedures in the language operate on elementary and structured values, and always define functional tra...
| Main Author: | |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/148889 |
| _version_ | 1826201688370839552 |
|---|---|
| author | Dennis, Jack B. |
| author_facet | Dennis, Jack B. |
| author_sort | Dennis, Jack B. |
| collection | MIT |
| description | A language for representing computational procedures based on the concept of data flow is presented in terms of a semantic model that permits concurrent execution of noninterfering program parts. Procedures in the language operate on elementary and structured values, and always define functional transformations of values. The language is equivalent in expressive power to a block structured language with internal procedure variables and is a generalization of pure Lisp. The language is being used as a model for study of fundamental semantic constructs for programming, as a target language for evaluating translatability of programs expressed as the user-language level, and as a guide for research in advanced computer architecture. |
| first_indexed | 2024-09-23T11:55:28Z |
| id | mit-1721.1/148889 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T11:55:28Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1488892023-03-30T03:48:17Z First Version of a Data Flow Procedure Language Dennis, Jack B. A language for representing computational procedures based on the concept of data flow is presented in terms of a semantic model that permits concurrent execution of noninterfering program parts. Procedures in the language operate on elementary and structured values, and always define functional transformations of values. The language is equivalent in expressive power to a block structured language with internal procedure variables and is a generalization of pure Lisp. The language is being used as a model for study of fundamental semantic constructs for programming, as a target language for evaluating translatability of programs expressed as the user-language level, and as a guide for research in advanced computer architecture. 2023-03-29T14:05:16Z 2023-03-29T14:05:16Z 1975-05 https://hdl.handle.net/1721.1/148889 02143678 MIT-LCS-TM-061 MAC-TM-061 application/pdf |
| spellingShingle | Dennis, Jack B. First Version of a Data Flow Procedure Language |
| title | First Version of a Data Flow Procedure Language |
| title_full | First Version of a Data Flow Procedure Language |
| title_fullStr | First Version of a Data Flow Procedure Language |
| title_full_unstemmed | First Version of a Data Flow Procedure Language |
| title_short | First Version of a Data Flow Procedure Language |
| title_sort | first version of a data flow procedure language |
| url | https://hdl.handle.net/1721.1/148889 |
| work_keys_str_mv | AT dennisjackb firstversionofadataflowprocedurelanguage |