Dealing Denotationally With Stream-based Communication | Zendy

Mercedes Hidalgo-Herrero | Zendy; Yolanda Ortega-Mallén | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Dealing Denotationally With Stream-based Communication

Author(s) -

Mercedes Hidalgo-Herrero,

Yolanda Ortega-Mallén

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2005.01.039

Subject(s) - denotational semantics , denotational semantics of the actor model , computer science , normalisation by evaluation , process calculus , semantics (computer science) , programming language , action semantics , domain theory , context (archaeology) , operational semantics , theoretical computer science , kernel (algebra) , principle of compositionality , mathematics , discrete mathematics , artificial intelligence , paleontology , biology

We define a denotational semantics for a kernel-calculus of the parallel functional language Eden. We choose continuations to deal with side-effects (process creation and communication) in a lazy context. The calculus includes streams for communication, and their modelization by a denotational semantics is not direct because a stream may be infinite

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research