Abstract Interpretation 1 Compiladores 1 Compilers 1 Estructura de tipos 1 Herramientas de software 1 Interpretación abstracta 1 Languages 1 Lenguajes 1 Program constructs 1 Semantics and reasoning 1 Semántica y razonamiento 1 Sistema de tipos 1 Software testing tools Teoría de la computación 1 Theory of computation 1 X86 Assembly 1