Implementing pattern-matching function definitions in CTDNet - a multiprocessor architecture

Gupta, Jai Prakash and Kumar, Padam and Winter, Stephen and Wilson, Derek R. (1990) Implementing pattern-matching function definitions in CTDNet - a multiprocessor architecture. Microprocessing & Microprogramming, 28 (1). pp. 151-155. ISSN 0165-6074

Full text not available from this repository.
Official URL:


Functional languages use a construct known as pattern-matching, for defining functions. The function definition can be translated into pattern-matching lambda abstraction — a construct in enriched lambda calculus. In this paper a semantics for pattern-matching has been developed and implemented in a multiprocessor architecture — CTDNet. Most general case of pattern-matching with multiple equations and multiple arguments has been discussed. A formal strategy employing parallel execution rather than sequential has been developed to exploit the multiprocessor environment. At the same time the dynamic graph size is kept under check by postponing the work of substitution of arguments into various abstraction bodies until a succesful match is obtained. All the pattern-matching work is thus taken up in parallel but only the matched body is evaluated, the rest being discarded.

Item Type: Article
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Miss Nina Watts
Date Deposited: 20 Sep 2011 13:16
Last Modified: 20 Sep 2011 13:16

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)