Testing and profiling of regular type operations

Downloads

Downloads per month over past year

62422

Impacto

Downloads

Downloads per month over past year



Loscos Barroso, Daniel (2020) Testing and profiling of regular type operations. [Trabajo Fin de Máster]

[thumbnail of Final_Master_Thesis-Daniel_Loscos.pdf]
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