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

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

Full description

Bibliographic Details
Author: Suárez García, Gorka
Format: doctoral thesis
Publication Date:2022
Country:España
Repository:Docta Complutense
Language:Spanish
OAI Identifier:oai:docta.ucm.es:20.500.14352/3743
Online Access:https://hdl.handle.net/20.500.14352/3743
Access Level:Open access
Keyword:004.421(043.2)
004.438Erlang (043.2)
004.43(043.2)
Algoritmos computacionales
ERLANG (Lenguaje de programación)
Computer Algorithms
ERLANG (Computer program language
Programming languages (Electronic computers)
Sistemas expertos
id ES_1cc6543c4993bdc62d9f9bb41420fc97
oai_identifier_str oai:docta.ucm.es:20.500.14352/3743
network_acronym_str ES
network_name_str España
repository_id_str
spelling Análisis estático de tipos para lenguajes de tipado dinámicoSuárez García, Gorka004.421(043.2)004.438Erlang (043.2)004.43(043.2)Algoritmos computacionalesERLANG (Lenguaje de programación)Computer AlgorithmsERLANG (Computer program languageProgramming languages (Electronic computers)Sistemas expertosLos 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...Universidad Complutense de MadridLópez Fraguas, Francisco JavierMontenegro Montes, ManuelUniversidad Complutense de Madrid20232023-06-1620222022-08-1020222022-08-10doctoral thesishttp://purl.org/coar/resource_type/c_db06info:eu-repo/semantics/doctoralThesisapplication/pdfhttps://hdl.handle.net/20.500.14352/3743reponame:Docta Complutenseinstname:Españolspaopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:docta.ucm.es:20.500.14352/37432025-08-02T12:44:52Z
dc.title.none.fl_str_mv Análisis estático de tipos para lenguajes de tipado dinámico
title Análisis estático de tipos para lenguajes de tipado dinámico
spellingShingle Análisis estático de tipos para lenguajes de tipado dinámico
Suárez García, Gorka
004.421(043.2)
004.438Erlang (043.2)
004.43(043.2)
Algoritmos computacionales
ERLANG (Lenguaje de programación)
Computer Algorithms
ERLANG (Computer program language
Programming languages (Electronic computers)
Sistemas expertos
title_short Análisis estático de tipos para lenguajes de tipado dinámico
title_full Análisis estático de tipos para lenguajes de tipado dinámico
title_fullStr Análisis estático de tipos para lenguajes de tipado dinámico
title_full_unstemmed Análisis estático de tipos para lenguajes de tipado dinámico
title_sort Análisis estático de tipos para lenguajes de tipado dinámico
dc.creator.none.fl_str_mv Suárez García, Gorka
author Suárez García, Gorka
author_facet Suárez García, Gorka
author_role author
dc.contributor.none.fl_str_mv López Fraguas, Francisco Javier
Montenegro Montes, Manuel
Universidad Complutense de Madrid
dc.subject.none.fl_str_mv 004.421(043.2)
004.438Erlang (043.2)
004.43(043.2)
Algoritmos computacionales
ERLANG (Lenguaje de programación)
Computer Algorithms
ERLANG (Computer program language
Programming languages (Electronic computers)
Sistemas expertos
topic 004.421(043.2)
004.438Erlang (043.2)
004.43(043.2)
Algoritmos computacionales
ERLANG (Lenguaje de programación)
Computer Algorithms
ERLANG (Computer program language
Programming languages (Electronic computers)
Sistemas expertos
description 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...
publishDate 2022
dc.date.none.fl_str_mv 2022
2022-08-10
2022
2022-08-10
2023
2023-06-16
dc.type.none.fl_str_mv doctoral thesis
http://purl.org/coar/resource_type/c_db06
info:eu-repo/semantics/doctoralThesis
format doctoralThesis
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14352/3743
url https://hdl.handle.net/20.500.14352/3743
dc.language.none.fl_str_mv Español
spa
language_invalid_str_mv Español
language spa
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad Complutense de Madrid
publisher.none.fl_str_mv Universidad Complutense de Madrid
dc.source.none.fl_str_mv reponame:Docta Complutense
instname:
instname_str
reponame_str Docta Complutense
collection Docta Complutense
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1844180407834116096
score 15,638193

Similar Items