An object-oriented formal notation: executable specifications in clay
Tesis doctoral de ángel Herranz Nieva La tesis introduce clay, una notación formal orientada a objetos que busca acercar los […]
Tesis doctoral de Julio Mariño Carballo
Información academica Julio Mariño Carballo. Tesis donde Julio Mariño Carballo ha sido autor, director o parte del tribunal.
Un sistema de negación para prolog
Tesis doctoral de Susana Muñoz Hernández El objetivo de la tesis es validar e implementar un sistema de negación para
Semántica y análisis de programas lógico funcionales
Tesis doctoral de Julio Mariño Carballo Los lenguajes de programación lógico-funcionales son un intento de integrar las dos ramas principales