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

Abstract

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.