Desarrollo modular de procesadores de lenguajes a partir de especificaciones semánticas reutilizables
- Juan Manuel Cueva Lovelle Director
Universidade de defensa: Universidad de Oviedo
Fecha de defensa: 24 de xullo de 2001
- José Antonio López Brugos Presidente/a
- Darío Álvarez Gutiérrez Secretario
- José Luis Freire Nistal Vogal
- Ricardo Peña Marí Vogal
- Luis Joyanes Aguilar Vogal
Tipo: Tese
Resumo
En esta tesis se desarrolla un sistema de prototipado del lenguajes de programación mediante una integración de la semántica monádica modular y conceptos de programación genérica, El sistema se aplica a la especificación de lenguajes en los paradigmas de programación imperativa, funcional,lógica y orientada a objetos.