Análisis estático de tipos para lenguajes de tipado dinámico
- Manuel Montenegro Montes Doktorvater
- Francisco Javier López Fraguas Doktorvater
Universität der Verteidigung: Universidad Complutense de Madrid
Fecha de defensa: 17 von Mai von 2022
- Ricardo Peña Marí Präsident
- Jaime Sánchez Hernández Sekretär
- Lars-Ake Fredlund Vocal
- Laura M. Castro Vocal
- Josep Francesc Silva Galiana Vocal
Art: Dissertation
Zusammenfassung
Type systems are a formal tool that allows the different constructions of a programming language (values, expressions, etc.) to be classified into different categories, called types. Type sustems can detect possible inconsistencies between the different variables and expressions of a program. There are different approaches to applying a type sustem. On the one hand we have languages like C++ with static typing, where type checking is done at compile time, and on the other hand we have languages with dynamic typing like Erlang, where type checking is done at run time. Due to the nature of dynamically typed languages, error detection in programs is done during the testing and debugging phases. However, there are tools that allow the automatic detection os type errors in a program without having to execute it. These tools apply their own static type analysis methodologies to dynamic typing languages...