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
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/21560
Ver los metadatos del registro completo
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 |