WestminsterResearch

Implementation of recursion in CTDNET-an applicative order reduction machine

Kumar, Padam and Gupta, Jai Prakash and 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: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumb...

Abstract

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
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:9815
Deposited On:22 Sep 2011 10:53
Last Modified:22 Sep 2011 10:53

Repository Staff Only: item control page