Invariant-free deduction systems for temporal logic
Tesis doctoral de Jose Gaintzarain Ibarmia In this thesis we propose a new approach to deductionmethods for temporal logic. Our […]
Tesis doctoral de María Alpuente Frasnedo
Información academica María Alpuente Frasnedo. Tesis donde María Alpuente Frasnedo 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
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
Desplegado de programas lógicos difusos
Tesis doctoral de Jaime Penabad Vázquez El objetivo general de esta tesis es la introducción de un conjunto de transformaciones,
Tecnicas para el analisis automatico de software descrito en lenguajes de programacion
Tesis doctoral de David Sanan Baena La verificación de modelos o model checking es un método formal que explora de
Modularidad en programacion lógico-funcional de primer orden
Tesis doctoral de Molina Bravo Juan Miguel Esta tesis seocupa de una propuesta de lógica de reescritura condicional basada en
Rule-based software verification and correction
Tesis doctoral de Demis Ballis La creciente complejidad de los sistemas software ha conducido al desarrollo de metodologías formales para
Interoperabilidad de componentes en linda
Tesis doctoral de Ana María Roldán Ruiz Las principales aportaciones del trabajo de tesis desarrollado consisten en la definición de
Debugging techniques for declarative languages: profiling, program slicing and algorithmic debugging
Tesis doctoral de Josep Francesc Silva Galiana La depuración de programas puede ser una tarea ardua. Esto se debe fundamentalmente
Una aproximación offline a la evaluación parcial dirigida por narrowing
Tesis doctoral de J. Guadalupe Ramos Diaz La evaluación parcial dirigida por narrowing (npe: narrowing-driven partial evaluation) es una técnica