TY  - THES
AU  - Jurjo Rivas, Daniel
A3  - Hermenegildo Salinas, Manuel
A3  - Morales Caballero, José Francisco
PY  - 2021
UR  - https://hdl.handle.net/20.500.14352/9223
AB  - Floating point numbers are widely used nowadays in programs but the verification of programs using this type of arithmetic is not trivial at all. This is due to the nature of floating-point arithmetic and the loss of precision when trying to represent...
AB  - Los números en coma flotante aparecen en prácticamente todos los programas actuales, sin embargo, verificarlos cuando se usa esta aritmética no es en absoluto trivial. Esto se debe a la naturaleza de la aritmética en coma flotante y a la pérdida de...
LA  - eng
KW  - Floating Point Arithmetic
KW  - Abstract Interpretation
KW  - Constraint Logic Programming
KW  - Numerical Analysis.
KW  - Aritmética en Coma Flotante
KW  - Interpretación Abstracta
KW  - Programación Lógica
KW  - Análisis numérico.
TI  - Abstract domain for floating-point programs
M3  - master thesis
ER  -