Acquisition and understanding of process knowledge using problem solving methods
Tesis doctoral de José Manuel Gómez Pérez This phd thesis deals with process knowledge and how it is possible to […]
Tesis doctoral de Manuel Hermenegildo Salinas
Información academica Manuel Hermenegildo Salinas. Tesis donde Manuel Hermenegildo Salinas ha sido autor, director o parte del tribunal.
Control de granularidad en la ejecucion paralela de programas logicas mediante tecnicas de analisis y transformacion
Tesis doctoral de Pedro Lopez Garcia Los lenguajes de programación lógica ofrecen un excelente marco para la aplicación de tecnicas
Análisis y verificación de programas modulares
Tesis doctoral de Jesús Correas Fernández Existe un gran número de técnicas avanzadas de verificación y optimización estática de programas
Tecnicas avanzadas de compilacion basadas en interpretacion abstracta y transformacion de programas.
Tesis doctoral de Álvaro Germán Puebla Sánchez El análisis estáticos de programas juega un papel cada vez más importante en
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
Ordering-based methodos for proving termination automatically
Tesis doctoral de Cristina Borralleras Andreu Datos académicos de la tesis doctoral «Ordering-based methodos for proving termination automatically« Título
Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa
Tesis doctoral de Rafael Del Vado Virseda Null en la primera parte de este trabajo proponemos un nuevo marco teórico
Poly-controlled partial evaluation and its apllication to resource-aware program specialization (evaluacion parcial poicontrolada y su aplicacion a la especializacion de programas consiciente de los recursos
Tesis doctoral de Ochoa Claudio J. G. La principal contribucion de esta tesis es el desarrollo de la evaluacion parcial
Software engineering research on libre software: data sources, methodologies and result
Tesis doctoral de Gregorio Robles Martínez Con la implantación de internet han surgido nuevas maneras de desarrollar software que hacen
Automatic generation of polynomial invarianst for systema verification
Tesis doctoral de Enric Rodríguez Carbonell Datos académicos de la tesis doctoral «Automatic generation of polynomial invarianst for systema