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.
© 2008-2024 Fundación Dialnet · Todos los derechos reservados