Técnicas avanzadas de compilación para programación lógica
Tesis doctoral de José Francisco Morales Caballero (english) declarative programming languages allow the expression of programs in a language that […]
Tesis doctoral de Manuel Carro Liñares
Información academica Manuel Carro Liñares. Tesis donde Manuel Carro Liñares ha sido autor, director o parte del tribunal.
Modular and field-sensitive termination analysis of java bytecode
Tesis doctoral de Diana Vanessa Ramírez Deantes Static program analysis of object-oriented languages poses some challenges for termination analyzers. One
Aportaciones al estudio del paralelismo y la concurrencia en la programación lógica
Tesis doctoral de Manuel Carro Liñares En esta tesis se estudian medios para solventar algunos de los problemas de la