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

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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Vaucheret, Claudio A.
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2003
Materias:
Ciencias Informáticas
tipos de programas lógicos
Theory of Computation
análisis Top-Down
interpretación abstracta
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21560
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-21560
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
tipos de programas lógicos
Theory of Computation
análisis Top-Down
interpretación abstracta
spellingShingle Ciencias Informáticas
tipos de programas lógicos
Theory of Computation
análisis Top-Down
interpretación abstracta
Vaucheret, Claudio A.
Inferencias de tipos de programas lógicos mediante análisis Top-Down por interpretación abstracta
topic_facet Ciencias Informáticas
tipos de programas lógicos
Theory of Computation
análisis Top-Down
interpretación abstracta
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.
format Objeto de conferencia
Objeto de conferencia
author Vaucheret, Claudio A.
author_facet Vaucheret, Claudio A.
author_sort Vaucheret, Claudio A.
title Inferencias de tipos de programas lógicos mediante análisis Top-Down por 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
publishDate 2003
url http://sedici.unlp.edu.ar/handle/10915/21560
work_keys_str_mv AT vaucheretclaudioa inferenciasdetiposdeprogramaslogicosmedianteanalisistopdownporinterpretacionabstracta
bdutipo_str Repositorios
_version_ 1764820464687906817

Ejemplares similares