Las continuaciones son una construcción de algunos lenguajes de programación a partir de las cuales pueden elaborarse elementos más complejos, como fibras, generadores, excepciones y corrutinas. Sin embargo, hay poco soporte nativo para ellas en los lenguajes más populares, como por ejemplo Java. En este trabajo se estudia este concepto en profundidad, centrándonos en las llamadas “continuaciones delimitadas”. Para ello se ha implementado un lenguaje de bajo nivel con soporte para continuaciones, que se ejecuta sobre la Máquina Virtual de Java gracias a una compilación a notación CPS y que puede interoperar con programas Java estándar. Asimismo, se ha experimentado realizando ejemplos de construcciones no triviales que se pueden programar en este lenguaje.

A continuation is a construct of some programming languages that provides seamless support for the implementation of more complex elements, such as fibers, generators, exceptions and coroutines. However, there is little native support for it in popular languages, such as Java. In this work we study this concept extensively, especially focussing on the so called “delimited continuations”. We have implemented a low-level language with support for continuations, which is executed over the Java Virtual Machine thanks to a compiler based on a translation to CPS notation, and thus being able to interoperate with standard Java programs. We have also experimented and tested the language by implementing several examples of non-trivial constructs.