Tesis:
XC.Un Lenguaje Orientado a Componentes para Programación de Sistemas.
- Autor: MEDEROS MARTIN, Jorge
- Título: XC.Un Lenguaje Orientado a Componentes para Programación de Sistemas.
- Fecha: 2003
- Materia: Sin materia definida
- Escuela: FACULTAD DE INFORMATICA
- Departamentos: ARQUITECTURA Y TECNOLOGIA DE SISTEMAS INFORMATICOS
- Acceso electrónico: http://oa.upm.es/9845/
- Director/a 1º: PEREZ COSTOYA, Fernando
- Resumen: El presente trabajo estudia las limitaciones en las técnicas actuales de subdivisión de sistemas informáticos y de su ensamblado. Este análisis pone en relieve deficiencias muchas veces conocidas pero aceptadas sin más en las técnicas usadas. Carencias que aumentan la complejidad percibida de los programas construidos y limitan las posibilidades de creación de componentes. Los modelos de componentes actuales ofrecen únicamente una abstracción parcialmente opaca a los lenguajes de programación con los que se manipulan. La implementación eficiente de componentes demanda además características de programación de sistemas y de bajo nivel en los lenguajes que los implementan. A su vez, la programación de sistemas se puede beneficiar del uso de componentes para mantener las barreras de abstracción apropiadas y limitar la complejidad. Este trabajo analiza y justifica mejoras en los procesos de construcción de programas, donde se pone mayor énfasis en las propiedades de los productos resultantes programas que faciliten la construcción de componentes que en el proceso que los genera. Se describe la definición e implementación de un prototipo de un nuevo lenguaje de programación, llamado XC, usado como ejemplo de implementación de las guías de diseño estudiadas. Se trata de un lenguaje orientado a la programación con componentes que soporta también la programación orientada a objetos y la programación de sistemas, aportando las abstracciones necesarias: Estructura jerárquica de módulos, Interfaces e implementación independientes, herencia múltiple de interfaces y herencia simple de implementación, novedoso modelo de objetos interno modular y extensible pensado para la construcción de componentes, comprobación estricta de tipos, tipos covariantes y tipos genéricos (usando una nueva técnica llamada sustitución de tipos explícita que fomenta la modularidad), optimizaciones de tipos básicos, funciones en línea, funciones y objetos nativos, código no seguro, compilación final a C y sintaxis expresiva.