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...

Full description

Bibliographic Details
Main Author: Kosinski, Paul Roman
Other Authors: Dennis, Jack B.
Published: 2023
Online Access:https://hdl.handle.net/1721.1/149506

Similar Items