Denotational Semantics of Determinate and Non-Determinate Data Flow Programs
Among its other characteristics, a programming language should be conducive to writing modular program's, be able to express parallelism and non-determinate behavior, and it should have a cleanly formalizable semantics. Data flow programming languages have all these characteristics and are esp...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149506 |
| _version_ | 1811076048636346368 |
|---|---|
| author | Kosinski, Paul Roman |
| author2 | Dennis, Jack B. |
| author_facet | Dennis, Jack B. Kosinski, Paul Roman |
| author_sort | Kosinski, Paul Roman |
| collection | MIT |
| description | Among its other characteristics, a programming language should be conducive to writing modular program's, be able to express parallelism and non-determinate behavior, and it should have a cleanly formalizable semantics. Data flow programming languages have all these characteristics and are especially amenable to mathematization of their semantics in the denotational style of Scott and Strachey. |
| first_indexed | 2024-09-23T10:15:18Z |
| id | mit-1721.1/149506 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T10:15:18Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1495062023-03-30T04:03:24Z Denotational Semantics of Determinate and Non-Determinate Data Flow Programs Kosinski, Paul Roman Dennis, Jack B. Among its other characteristics, a programming language should be conducive to writing modular program's, be able to express parallelism and non-determinate behavior, and it should have a cleanly formalizable semantics. Data flow programming languages have all these characteristics and are especially amenable to mathematization of their semantics in the denotational style of Scott and Strachey. 2023-03-29T15:03:16Z 2023-03-29T15:03:16Z 1979-07 https://hdl.handle.net/1721.1/149506 MIT-LCS-TR-220 application/pdf |
| spellingShingle | Kosinski, Paul Roman Denotational Semantics of Determinate and Non-Determinate Data Flow Programs |
| title | Denotational Semantics of Determinate and Non-Determinate Data Flow Programs |
| title_full | Denotational Semantics of Determinate and Non-Determinate Data Flow Programs |
| title_fullStr | Denotational Semantics of Determinate and Non-Determinate Data Flow Programs |
| title_full_unstemmed | Denotational Semantics of Determinate and Non-Determinate Data Flow Programs |
| title_short | Denotational Semantics of Determinate and Non-Determinate Data Flow Programs |
| title_sort | denotational semantics of determinate and non determinate data flow programs |
| url | https://hdl.handle.net/1721.1/149506 |
| work_keys_str_mv | AT kosinskipaulroman denotationalsemanticsofdeterminateandnondeterminatedataflowprograms |