a model of cps translation and interpretation
This paper presents a model of translation of functional languages. The source language of the translation is a simple extension of lambda expressions and the target language is a language in continuation passing style (CPS).We have implemented, in SML [5], the translation and the interpreters of both the source and target languages. These systems are based on the definitions of the CPS semantics by Appel [1]. The main contribution is a complete and executable framework for a CPS compiler, allowing the study of a wide range of performance issues among different elements. Another contribution is the implementation of a succeed and fail continuation model. The approach eliminates overhead when using exception handling and was described in [4].
compilers exception handling functional programming languages continuation-passing style