Person:
Suárez García, Gorka

Profile Picture
First Name
Gorka
Last Name
Suárez García
URI
https://hdl.handle.net/20.500.14352/85784
Affiliation
Universidad Complutense de Madrid
Faculty / Institute
Informática
Department
Sistemas Informáticos y Computación
Area
Identifiers
UCM identifierScopus Author IDDialnet ID

Filters

20221
Reset filters

Settings

Has files: true × Subject: 004.421(043.2) ×

Search Results

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Análisis estático de tipos para lenguajes de tipado dinámico
    (2022) Suárez García, Gorka; López Fraguas, Francisco Javier; Montenegro Montes, Manuel
    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...