Implementation of recursion in CTDNET-an applicative order reduction machine

Kumar, Padam, Gupta, Jai Prakash, Winter, Stephen and Wilson, Derek R. (1989) Implementation of recursion in CTDNET-an applicative order reduction machine. In: Proceedings of the Second International Conference on Software Engineering for Real Time Systems, 18 - 20 September 1989, Cirencester. IEEE, pp. 224-227.

Full text not available from this repository.
Official URL:


CTDNet is a lambda calculus based reduction machine which was designed to support applicative evaluation on a parallel hardware. Its applicativeness provides it the useful feature of the ability to exploit parallelism both at beta-reduction and primitive reduction levels, but the same property also prevented it from handling recursive computations. The authors have suggested two different techniques to take care of this drawback in the machine. The modifications introduced in reduction rules or message handling preserve its applicative feature. Also the machine dealt with conditionals in a lazy manner to avoid computation of discardable work. Not only that this laziness has been preserved but it has been exploited in the two techniques for handling recursion.

Item Type: Book Section
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Miss Nina Watts
Date Deposited: 22 Sep 2011 09:53
Last Modified: 22 Sep 2011 09:53

Actions (login required)

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