Análisis estático de tipos para lenguajes de tipado dinámico

Impacto

Downloads

Downloads per month over past year



Suárez García, Gorka (2022) Análisis estático de tipos para lenguajes de tipado dinámico. [Thesis]

[thumbnail of T43377.pdf]
Preview
PDF
1MB


Abstract

Los sistemas de tipos son una herramienta formal que permiten clasificar las distintas construcciones de un lenguaje de programación (valores, expresiones, etc.) en distintas categorías, llamadas tipos. Con ello se pretende detectar posibles inconsistencias entre las distintas variables y expresiones de un programa. Existen distintos enfoques en la aplicación de un sistema de tipos. Por un lado tenemos lenguajes como C++ con tipado estático, donde la comprobación de tipos se realiza en tiempo de compilación, y por el otro tenemos los lenguajes con tipado dinámico como Erlang, donde la comprobación de tipos se realiza en tiempo de ejecución. Como consecuencia de la naturaleza de los lenguajes de tipado dinámico, la detección de errores en los programas se realiza durante las fases de prueba y depuración. No obstante, existen herramientas que permiten la detección automática de errores de tipo en un programa sin necesidad de ejecutarlo. Estas herramientas aplican metodologías propias de análisis estático de tipos a lenguajes de tipado dinámico...

Resumen (otros idiomas)

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...

Item Type:Thesis
Additional Information:

Tesis inédita de la Universidad Complutense de Madrid, Facultad de Informática, Departamento de Ingeniería de Sistemas lnformáticos y de Computación, leída el 17-05-2022

Directors:
Directors
López Fraguas, Francisco Javier
Montenegro Montes, Manuel
Uncontrolled Keywords:Algoritmos computacionales, ERLANG (Lenguaje de programación)
Palabras clave (otros idiomas):Computer Algorithms, ERLANG (Computer program language, Programming languages (Electronic computers)
Subjects:Sciences > Computer science > Expert systems (Computer science)
ID Code:74122
Deposited On:10 Aug 2022 08:26
Last Modified:10 Aug 2022 08:35

Origin of downloads

Repository Staff Only: item control page