Refunctionalization at Work

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  • Department of Computer Science
We present the left inverse of Reynolds's defunctionalization and we show its relevance to programming and to programming languages. We present two methods to put 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.
Original languageEnglish
JournalScience of Computer Programming
Pages (from-to)534-549
Number of pages16
Publication statusPublished - 2009

    Research areas

  • Defunctionalization;, Refunctionalization;, Abstract machines;, Continuations;, Continuation-passing style (CPS);, Shunting-yard algorithm

See relations at Aarhus University Citationformats

ID: 10561187