Sistema computacional de programación flexible diseñado sobre una máquina abstracta reflectiva no restrictiva

Abstract

Este tesis describe el modo en el que distintas técnicas de reflectividad pueden ser empleadas para el desarrollo de un sistema computacional de programación extensible y adaptable dinámicamente, sin sufrir dependencia alguna de un lenguaje de programación específico, y empleando para ello una plataforma virtual heterogénea. Se diseña una máquina abstracta, de tamaño y complejidad semántica reducida, como la raíz computacional del sistema, que otorgue primitivas básicas de reflectividad. Tanto su tamaño restringido como su capacidad introspectiva, la hacen susceptible de ser implantada en entornos computacionales heterogéneos, constituyendo además un entorno computacional independiente de la plataforma. Haciendo uso de las facultades reflectivas ofrecidas por la máquina abstracta, su nivel de abstración computacional podrá ser extendido en su propio lenguaje de programación, sin necesidad de modificar la implementación reducida de la máquina virtual, y sin perder así la portabilidad de su código. El empleo de su capacidad extensible se utilizará, a modo de ejemplo, en el diseño de abstracciones propias de persistencia, distribución, planficación controlada de hilos y recolección de basura. Todas las abstracciones ofrecidas mediante la extensión de la plataforma en su propio lenguaje, son adaptables para cualquier aplicación, en tiempo de ejecución. Un sistema de procesamiento genérico de lenguajes es diseñado disponiendo de las características reflectivas de la plataforma, dando lugar a una independencia global del lenguaje de programación seleccionado por el programador. Cualquier aplicación podrá interactuar con otra, bajo el modelo computacional de objetos ofrecido por la máquina abstracta, independientemente del lenguaje en el que hayan sido creadas. La flexibilidad dinámica del sistema creadores superior, tanto en expresividad como en el espectro de facetas computacionales adaptables [...]