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 […]

, , , , ,