Travelled to:1 × USA
Collaborated with:∅
Talks about:straightforward (1) determin (1) program (1) semant (1) denot (1) flow (1) data (1) non (1)
Person: Paul R. Kosinki
DBLP: Kosinki:Paul_R=
Contributed to:
1978Wrote 1 papers:
- POPL-1978-Kosinki #data flow #semantics #source code
- A Straightforward Denotational Semantics for Non-Determinant Data Flow Programs (PRK), pp. 214–221.