Inferencias de tipos de programas lógicos mediante análisis Top-Down por interpretación abstracta

Autores
Vaucheret, Claudio A.
Año de publicación
2003
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
El propósito de este informe es presentar una de las líneas de investigación llevadas a cabo en el Departamento de Ciencias de la Computación, Fa.E.A, U.N.C. en colaboración con el grupo CLIP de la facultad informática de la Universidad Politécnica de Madrid. El objetivo del trabajo es el estudio de la precisión y eficiencia de la inferencia de tipos de programas lógicos por medio de análisis estático “top-down” de programas basados en interpretación abstracta así como de su aplicación a la optimización y depuración de programas. Las metas incluyen la implementación de un analizador de esta clase y su comparación con las que utilizan la estrategia “bottom-up”, así como el estudio de la influencia de diferentes factores en al precisión y eficiencia en al inferencia de tipos para variables de programas lógicos. En las secciones subsiguientes presentaremos una síntesis de los antecedentes y la bibliografía actualizada en el tema a tratar.
Eje: Teoría de la Computación
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
tipos de programas lógicos
Theory of Computation
análisis Top-Down
interpretación abstracta
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/21560

id SEDICI_26dc009224c5deba141881a90d40f6a6
oai_identifier_str oai:sedici.unlp.edu.ar:10915/21560
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Inferencias de tipos de programas lógicos mediante análisis Top-Down por interpretación abstractaVaucheret, Claudio A.Ciencias Informáticastipos de programas lógicosTheory of Computationanálisis Top-Downinterpretación abstractaEl propósito de este informe es presentar una de las líneas de investigación llevadas a cabo en el Departamento de Ciencias de la Computación, Fa.E.A, U.N.C. en colaboración con el grupo CLIP de la facultad informática de la Universidad Politécnica de Madrid. El objetivo del trabajo es el estudio de la precisión y eficiencia de la inferencia de tipos de programas lógicos por medio de análisis estático “top-down” de programas basados en interpretación abstracta así como de su aplicación a la optimización y depuración de programas. Las metas incluyen la implementación de un analizador de esta clase y su comparación con las que utilizan la estrategia “bottom-up”, así como el estudio de la influencia de diferentes factores en al precisión y eficiencia en al inferencia de tipos para variables de programas lógicos. En las secciones subsiguientes presentaremos una síntesis de los antecedentes y la bibliografía actualizada en el tema a tratar.Eje: Teoría de la ComputaciónRed de Universidades con Carreras en Informática (RedUNCI)2003-05info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf718-722http://sedici.unlp.edu.ar/handle/10915/21560spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T10:54:42Zoai:sedici.unlp.edu.ar:10915/21560Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 10:54:42.459SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Inferencias de tipos de programas lógicos mediante análisis Top-Down por interpretación abstracta
title Inferencias de tipos de programas lógicos mediante análisis Top-Down por interpretación abstracta
spellingShingle Inferencias de tipos de programas lógicos mediante análisis Top-Down por interpretación abstracta
Vaucheret, Claudio A.
Ciencias Informáticas
tipos de programas lógicos
Theory of Computation
análisis Top-Down
interpretación abstracta
title_short Inferencias de tipos de programas lógicos mediante análisis Top-Down por interpretación abstracta
title_full Inferencias de tipos de programas lógicos mediante análisis Top-Down por interpretación abstracta
title_fullStr Inferencias de tipos de programas lógicos mediante análisis Top-Down por interpretación abstracta
title_full_unstemmed Inferencias de tipos de programas lógicos mediante análisis Top-Down por interpretación abstracta
title_sort Inferencias de tipos de programas lógicos mediante análisis Top-Down por interpretación abstracta
dc.creator.none.fl_str_mv Vaucheret, Claudio A.
author Vaucheret, Claudio A.
author_facet Vaucheret, Claudio A.
author_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
tipos de programas lógicos
Theory of Computation
análisis Top-Down
interpretación abstracta
topic Ciencias Informáticas
tipos de programas lógicos
Theory of Computation
análisis Top-Down
interpretación abstracta
dc.description.none.fl_txt_mv El propósito de este informe es presentar una de las líneas de investigación llevadas a cabo en el Departamento de Ciencias de la Computación, Fa.E.A, U.N.C. en colaboración con el grupo CLIP de la facultad informática de la Universidad Politécnica de Madrid. El objetivo del trabajo es el estudio de la precisión y eficiencia de la inferencia de tipos de programas lógicos por medio de análisis estático “top-down” de programas basados en interpretación abstracta así como de su aplicación a la optimización y depuración de programas. Las metas incluyen la implementación de un analizador de esta clase y su comparación con las que utilizan la estrategia “bottom-up”, así como el estudio de la influencia de diferentes factores en al precisión y eficiencia en al inferencia de tipos para variables de programas lógicos. En las secciones subsiguientes presentaremos una síntesis de los antecedentes y la bibliografía actualizada en el tema a tratar.
Eje: Teoría de la Computación
Red de Universidades con Carreras en Informática (RedUNCI)
description El propósito de este informe es presentar una de las líneas de investigación llevadas a cabo en el Departamento de Ciencias de la Computación, Fa.E.A, U.N.C. en colaboración con el grupo CLIP de la facultad informática de la Universidad Politécnica de Madrid. El objetivo del trabajo es el estudio de la precisión y eficiencia de la inferencia de tipos de programas lógicos por medio de análisis estático “top-down” de programas basados en interpretación abstracta así como de su aplicación a la optimización y depuración de programas. Las metas incluyen la implementación de un analizador de esta clase y su comparación con las que utilizan la estrategia “bottom-up”, así como el estudio de la influencia de diferentes factores en al precisión y eficiencia en al inferencia de tipos para variables de programas lógicos. En las secciones subsiguientes presentaremos una síntesis de los antecedentes y la bibliografía actualizada en el tema a tratar.
publishDate 2003
dc.date.none.fl_str_mv 2003-05
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/21560
url http://sedici.unlp.edu.ar/handle/10915/21560
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
718-722
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844615804668084224
score 13.070432