Compilador para lenguaje basado en continuaciones
Author
Ramos Carreño, CarlosEntity
UAM. Departamento de Ingeniería InformáticaDate
2015-07Subjects
Compiladores (Programas de ordenador); Java (Lenguaje de programación); InformáticaEsta obra está bajo una licencia de Creative Commons Reconocimiento-NoComercial-SinObraDerivada 4.0 Internacional.
Abstract
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.
Files in this item
Google Scholar:Ramos Carreño, Carlos
This item appears in the following Collection(s)
Except where otherwise noted, this item's license is described as https://creativecommons.org/licenses/by-nc-nd/4.0/
Related items
Showing items related by title, author, creator and subject.
-
Confucio y el fin ético del individuo (continuación)
Saz-Orozco, Carlos del
1968