1990
Denotational semantics for unguarded recursion: the demonic case
Publication
Publication
We show that the technique to prove equivalence of operational and denotational cpo based semantics using retractions, as introduced in de Bruin & Vink [1989] for a sequential backtracking language, can be applied to parallel languages as well. We prove equivalence for a uniform language in which procedure calls need not be guarded. The unguardedness is taken care of by giving a semantics in which the nondeterminism is demonic.
| Additional Metadata | |
|---|---|
| , | |
| hdl.handle.net/1765/1502 | |
| Organisation | Erasmus School of Economics |
|
de Bruin, A., & de Vink, E. P. (1990). Denotational semantics for unguarded recursion: the demonic case. Retrieved from http://hdl.handle.net/1765/1502 |
|
