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

Update Item Information
Publication Type technical report
School or College College of Engineering
Department Computing, School of
Creator Subrahmanyam, P.A.
Other Author Purushothaman, S.
Title Modeling of call - by - need and stream primitives using CCS
Date 1982
Description The 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.
Type Text
Publisher University of Utah
First Page 1
Last Page 13
Subject Applicative language; Semantics; Algebraic primitives; CCS
Subject LCSH Programming languages (Electronic computers) -- Semantics
Language eng
Bibliographic Citation Subrahmanyam, P. A., & Purushothaman, S. (1982). Modeling of call-by-need and stream primitives using CCS. 1-13. UUCS-82-015.
Series University of Utah Computer Science Technical Report
Relation is Part of ARPANET
Rights Management ©University of Utah
Format Medium application/pdf
Format Extent 7,502,490 bytes
Identifier ir-main,16139
ARK ark:/87278/s6kp8khg
Setname ir_uspace
ID 704758
Reference URL https://collections.lib.utah.edu/ark:/87278/s6kp8khg