Certificación formal de programas en un lenguaje funcional impaciente
Tesis doctoral de JavierDe Dios Castro En esta tesis se propone un metodo basado en la infraestructura pcc para convertir […]
Tesis doctoral de salvador Lucas alba
Información academica salvador Lucas alba. Tesis donde salvador Lucas alba ha sido autor, director o parte del tribunal.
Abstract certification of java programs in rewriting logic
Tesis doctoral de Mauricio Fernando Alba Castro In this thesis we propose an abstraction based certification technique for java programs
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
Towards a framework for proving termination of maude programs
Tesis doctoral de Beatriz Alarcón Jiménez Maude is a declarative programming language based on rewriting logic that incorporates many features
Reflexión, abstracción y simulación en la lógica de reescritura
Tesis doctoral de Miguel Palomino Tarjuelo La lógica de reescritura es una extensión de la lógica ecuacional habitual que fue
Preescritura con restricciones de reemplazamiento
Tesis doctoral de Salvador Lucas Alba La reescritura de términos constituye un mecanismo operacional útil para implementar un buen número
Un lenguaje de bases de datos deductivo basado en la programación lógico funcional
Tesis doctoral de Antonio Becerra Teron El objetivo de la tesis es el diseño del lenguaje de bases de datos
Analisis de programas en lenguajes funcionales paralelos
Tesis doctoral de Segura Diaz Clara M. Las tecnicas de analisis de programas se han demostrado útiles en todo tipo
Automated deduction with built-in theories. completeness results and constraint solving tecniques
Tesis doctoral de Guillem Godoy Balil Datos académicos de la tesis doctoral «Automated deduction with built-in theories. completeness results