The Library
Adding second order functions to Kahn data flow
Tools
Tools
Tools
Matthews, Stephen G. (1991) Adding second order functions to Kahn data flow. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
|
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-189.pdf - Other - Requires a PDF viewer. Download (584Kb) | Preview |
Abstract
Gilles Kahn's elegant model of deterministic concurrent computation using sequential processes connected by Unix style pipes [Ka74] has been used by Ashcroft, Wadge as the basis for the functional data flow programming language Lucid [W , A85] Kahn's data flow model is "first order and so does not allow streams of processes for example. This has been reflected in Lucid by the restriction, until recently, to first order functions. In [Wa91] Wadge suggests a treatment for implementing higher order function definitions in Lucid using intentsional multi-dimensional algebras. This has unfortunately placed the Lucid cart before the Kahn data flow horse. Is there a natural extension to Kahn's model which allows higher order functions, or can we only understand them in terms of a specific programming language such as Lucid? This report argues that higher order functions can be understood in terms of Kahn's data flow model by constructing a treatment therein for second order functions. This construction provides new insights into obtaining a generalisation of Kahn Data Flow which allows second order functions.
| Item Type: | Report | ||||
|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
| Divisions: | Faculty of Science > Computer Science | ||||
| Library of Congress Subject Headings (LCSH): | Data flow computing | ||||
| Series Name: | Department of Computer Science research report | ||||
| Publisher: | University of Warwick. Department of Computer Science | ||||
| Official Date: | July 1991 | ||||
| Dates: |
|
||||
| Number: | Number 189 | ||||
| Number of Pages: | 13 | ||||
| DOI: | CS-RR-189 | ||||
| Institution: | University of Warwick | ||||
| Theses Department: | Department of Computer Science | ||||
| Status: | Not Peer Reviewed | ||||
| Publication Status: | Unpublished | ||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
