Modeling of call - by - need and stream primitives using CCS

Abstract

technical reportThe semantics of an applicative language are presented using the algebraic primitives introduced in CCS. In particular, the language constructs modeled allow for nondeterminism, stream processing and demand driven (call by need) evaluation