Version 1 (modified by cotto, 4 years ago)

initial version; mostly stubs

This page will describe how the minimal set of ops provided by Lorito can be used to build up complex control flow via continuation-passing style (CPS). An understanding of basic CS concepts and Perl is assumed.

Lorito's Ops

<basic description of how Lorito's ops work>

<include subset of ops sufficient for the example>

How Continuation-Passing Style Works in HLLs

<include introductory explanation (no stack, what "return" means in a CPS context, thinking inside-out)>

<use Perl to show normal and CPS-based fibonacci code>

<generalize on how to turn anything into CPS>

<explain how it works for exceptions, functions, coroutines, tail-calls, etc>

How to do CPS with only Low-Level Ops

Examples

References/See Also

 implementing a CPS code generator for ML

[ http://www.cs.cornell.edu/talc/papers/stal-tic.pdf

Attachments