Rewriting-based verification and debugging of web systems
Tesis doctoral de Daniel Omar Romero The increasing complexity of web system has led to the development of sophisticated formal […]
Tesis doctoral de moreno Falaschi
Información academica moreno Falaschi. Tesis donde moreno Falaschi ha sido autor, director o parte del tribunal.
Rule-based methodologies for the specification and analysis of complex computing systems
Tesis doctoral de Michele Baggi From the earliest hardware and software days to the internet era, complexity of computer systems
Depuración declarativa de programas lógico funcionales
Tesis doctoral de Correa Zabala Francisco José La depuración de programas lógico funcionales es un importante problema práctico que ha
Partial evaluatión of multi-paradigm declarative languaces: foundations, control, algorithms and efficiency
Tesis doctoral de Elvira Albert Albiol La evaluación parcial es una técnica automática que consigue optimizar programas garantizando que su
Reglas y estrategias de transformación para programas logico-funcionales.
Tesis doctoral de Pascual Julian Iranzo La evaluación parcial (ep) es una técnica de transformación automática que consigue la optimización
Una extension del lamda-calculo para la modelizacion de procesos concurrentes.
Tesis doctoral de Oliver Villarroya Francisco Javier El -calculo es una teoria sin tipos que interpreta las funciones como reglas,
Analisis semantico y transformacion de programas logico-funcionales
Tesis doctoral de German Vidal Oriola El problema de la integracion de la programacion logica y funcional esta considerado como