Title of article
Refunctionalization at work
Author/Authors
Olivier Danvy، نويسنده , , Kevin Millikin، نويسنده ,
Issue Information
ماهنامه با شماره پیاپی سال 2009
Pages
16
From page
534
To page
549
Abstract
We present the left inverse of Reynolds’ defunctionalization and we show its relevance to programming and to programming languages. We propose two methods to transform a program that is almost in defunctionalized form into one that is actually in defunctionalized form, and we illustrate them with a recognizer for Dyck words and with Dijkstra’s shunting-yard algorithm.
Keywords
Continuation-passing style (CPS) , Continuations , Shunting-yard algorithm , Defunctionalization , Refunctionalization , Abstract machines
Journal title
Science of Computer Programming
Serial Year
2009
Journal title
Science of Computer Programming
Record number
1080074
Link To Document