Principios de Análisis de Programas- Flemming Nielson

El análisis del programa se refiere a las técnicas estáticas para calcular información aproximada fiable sobre el comportamiento dinámico de los programas. Las aplicaciones incluyen compiladores (para mejorar el código), validación de software (para detectar errores en algoritmos o violaciones de seguridad) y transformaciones entre la representación de datos (para resolver problemas como el problema Y2K). Este libro es único en dar una visión general de los cuatro enfoques principales para el análisis de programas: análisis de flujo de datos, análisis basado en restricciones, interpretación abstracta y sistemas de tipos y efectos. La presentación demuestra las amplias similitudes entre los enfoques; Esto ayudará al lector a elegir el enfoque correcto y en mejorarlo con ideas de los otros enfoques. El libro cubre las propiedades semánticas básicas, así como técnicas algorítmicas más avanzadas. El libro está dirigido a M.Sc. Y Ph.D. Estudiantes, pero también será valiosa para investigadores y profesionales experimentados.