Continuation transformation and reduction
Volume 2, Issue 4 (1991), pp. 524–538
Pub. online: 1 January 1991
Type: Research Article
Published
1 January 1991
1 January 1991
Abstract
The continuation transformation, its application for recursion removal and relation with reduction algorithms is analyzed. The reduction algorithm for expressions in continuation form is presented.