| 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 |
