Desarrollo modular de procesadores de lenguajes a partir de especificaciones semánticas reutilizables
- Labra Gayo, José Emilio
- Juan Manuel Cueva Lovelle Director/a
Universitat de defensa: Universidad de Oviedo
Fecha de defensa: 24 de de juliol de 2001
- José Antonio López Brugos President/a
- Darío Álvarez Gutiérrez Secretari/ària
- José Luis Freire Nistal (1943-) Vocal
- Ricardo Peña Marí Vocal
- Luis Joyanes Aguilar Vocal
Tipus: Tesi
Resum
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.