Desarrollo modular de procesadores de lenguajes a partir de especificaciones semánticas reutilizables

  1. Labra Gayo, José Emilio
Zuzendaria:
  1. Juan Manuel Cueva Lovelle Zuzendaria

Defentsa unibertsitatea: Universidad de Oviedo

Fecha de defensa: 2001(e)ko uztaila-(a)k 24

Epaimahaia:
  1. José Antonio López Brugos Presidentea
  2. Darío Álvarez Gutiérrez Idazkaria
  3. José Luis Freire Nistal Kidea
  4. Ricardo Peña Marí Kidea
  5. Luis Joyanes Aguilar Kidea

Mota: Tesia

Teseo: 82782 DIALNET

Laburpena

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.