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 […]
Tesis doctoral de Álvaro Germán Puebla Sánchez
Información academica Álvaro Germán Puebla Sánchez. Tesis donde Álvaro Germán Puebla Sánchez ha sido autor, director o parte del tribunal.
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
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