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: | Kosinski, Paul Roman |
---|---|
Other Authors: | Dennis, Jack B. |
Published: |
2023
|
Online Access: | https://hdl.handle.net/1721.1/149506 |
Similar Items
-
Denotational semantics for occam
by: Roscoe, A
Published: (1985) -
A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
by: Hoare, C
Published: (2015) -
A Denotational Semantics of CLU
by: Scheifler, Robert W.
Published: (2023) -
Denotational semantics for occam II
by: Roscoe, A, et al.
Published: (1993) -
Denotational semantics for occam 2
by: Goldsmith, M, et al.
Published: (1993)