Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

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)

[img]
Preview
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-189.pdf - Other - Requires a PDF viewer.

Download (584Kb) | Preview

Request Changes to record.

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:
DateEvent
July 1991Completion
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:
  • Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics

twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us