Impacto
Downloads
Downloads per month over past year
Loscos Barroso, Daniel (2020) Testing and profiling of regular type operations. [Trabajo Fin de Máster]
Preview |
PDF
Creative Commons Attribution Non-commercial. 1MB |
Abstract
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 type inference analysis via abstract interpretation, with special attention to the widening operators. We implemented tools to perform our white-box testing of the library, found the bottlenecks for analysis, and proposed some solutions to the main issues diagnosed in the investigation.
Resumen (otros idiomas)
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 interpretación abstracta, prestando especial atención a los operadores de widening. Hemos implementado herramientas para realizar pruebas de caja blanca en la librería, encontrado los cuellos de botella para el análisis y hemos propuesto soluciones a los principales problemas detectados en la investigación.
| Item Type: | Trabajo Fin de Máster |
|---|---|
| Additional Information: | Trabajo Fin de Máster en Métodos Formales en Ingeniería Informática. Universidad Complutense, Departamento de Sistemas Informáticos y Computación, Curso 2019/2020 |
| Directors: | Directors Hermenegildo Salinas, Manuel López García, Pedro Morales Caballero, José Francisco |
| Uncontrolled Keywords: | Regular Types, Shape Analysis, Type Analysis, Abstract Interpretation, Widening Operators, Logic Programming, White-Box Testing |
| Palabras clave (otros idiomas): | Tipos Regulares, Análisis de Tipos, Interpretación Abstracta, Operadores de Widening, Programación Lógica, Testing de Caja Blanca |
| Subjects: | Sciences > Computer science |
| Título del Máster: | Máster en Métodos Formales en Ingeniería Informática |
| ID Code: | 62422 |
| Deposited On: | 06 Oct 2020 11:16 |
| Last Modified: | 19 Oct 2020 16:14 |
Origin of downloads
Repository Staff Only: item control page
