TY  - THES
AU  - Casso San Roman, Ignacio
A3  - Lopez Fraguas, Francisco Javier
A3  - Hermenegildo, Manuel V.
PY  - 2018
UR  - https://hdl.handle.net/20.500.14352/15122
AB  - Abstract interpretation is a technique which safely approximates the execution of programs. These aproximations can then be used by static analysis tools to reason about properties that hold for all possible executions, in order to optimize, verify or...
AB  - La interpretación abstracta es una técnica que permite aproximar correctamente la semántica de los programas. Para ello se usan distintas abstracciones, llamadas dominios abstractos, y algoritmos de análisis, lo cual da lugar a aproximaciones...
LA  - eng
KW  - Abstract interpretation
KW  - Static analysis
KW  - Logic programming
KW  - Metrics
KW  - Distances
KW  - Complete lattices
KW  - Program semantics
KW  - Program comparison
KW  - Interpretación abstracta
KW  - Análisis estático
KW  - Programación lógica
KW  - Métricas
KW  - Distancias
KW  - Retículos completos
KW  - Semántica de programas
KW  - Comparación de programas
TI  - Towards computing distances among abstract interpretations
M3  - bachelor thesis
ER  -