Compilador para lenguaje basado en continuaciones
Autor (es)
Ramos Carreño, CarlosEntidad
UAM. Departamento de Ingeniería InformáticaFecha de edición
2015-07Materias
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.
Resumen
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.
Lista de ficheros
Google Scholar:Ramos Carreño, Carlos
Lista de colecciones del ítem
Excepto si se señala otra cosa, la licencia del ítem se describe como https://creativecommons.org/licenses/by-nc-nd/4.0/
Registros relacionados
Mostrando ítems relacionados por título, autor, creador y materia.
-
Confucio y el fin ético del individuo (continuación)
Saz-Orozco, Carlos del
1968