TY  - THES
AU  - Loscos Barroso, Daniel
A3  - Hermenegildo Salinas, Manuel
A3  - López García, Pedro
A3  - Morales Caballero, José Francisco
PY  - 2020
UR  - https://hdl.handle.net/20.500.14352/9070
AB  - We performed an audit of the operations of the regular types library included with the Ciao pre-processor, CiaoPP, with the objective of exploring its correctness and efficiency. We centered our investigation on the operations relevant for performing...
AB  - Hemos realizado una auditoria en la librería de tipos regulares del preprocesador de Ciao, CiaoPP, con el objetivo de explorar su corrección y eficiencia. Centramos nuestra investigación en las operaciones relevantes para el análisis de tipos por...
LA  - eng
KW  - Regular Types
KW  - Shape Analysis
KW  - Type Analysis
KW  - Abstract Interpretation
KW  - Widening Operators
KW  - Logic Programming
KW  - White-Box Testing
KW  - Tipos Regulares
KW  - Análisis de Tipos
KW  - Interpretación Abstracta
KW  - Operadores de Widening
KW  - Programación Lógica
KW  - Testing de Caja Blanca
TI  - Testing and profiling of regular type operations
M3  - master thesis
ER  -