Especificación e implementación de un lenguaje de programación lógica con tipos

Se presenta la especificación de un lenguaje de programación en lógica con tipos polimorfos, junto con el desarrollo de un intérprete para el mismo en PROLOG. El polimorfismo permite, entre otras cosas, programar procedimientos genéricos, con argumentos que no tienen un tipo declarado estáticamente....

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Delrieux, Claudio, Cáccamo, Mario
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1995
Materias:
Ciencias Informáticas
PROGRAMMING LANGUAGES
Programación Lógica
Teoría de Tipos
Logic Programming
Metaintérpretes
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24268
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24268
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
PROGRAMMING LANGUAGES
Programación Lógica
Teoría de Tipos
Logic Programming
Metaintérpretes
spellingShingle Ciencias Informáticas
PROGRAMMING LANGUAGES
Programación Lógica
Teoría de Tipos
Logic Programming
Metaintérpretes
Delrieux, Claudio
Cáccamo, Mario
Especificación e implementación de un lenguaje de programación lógica con tipos
topic_facet Ciencias Informáticas
PROGRAMMING LANGUAGES
Programación Lógica
Teoría de Tipos
Logic Programming
Metaintérpretes
description Se presenta la especificación de un lenguaje de programación en lógica con tipos polimorfos, junto con el desarrollo de un intérprete para el mismo en PROLOG. El polimorfismo permite, entre otras cosas, programar procedimientos genéricos, con argumentos que no tienen un tipo declarado estáticamente. La incorporación de un sistema de tipos mejora el soporte de abstracción provisto por los lenguajes de programación lógica. Los tipos proveen un lenguaje claro para la especificación de interfases y herramientas para la depuración algorítmica Esta información puede utilizarse para la optimización de código y es de una ayuda inestimable para detectar errores de programación en tiempo de compilación.
format Objeto de conferencia
Objeto de conferencia
author Delrieux, Claudio
Cáccamo, Mario
author_facet Delrieux, Claudio
Cáccamo, Mario
author_sort Delrieux, Claudio
title Especificación e implementación de un lenguaje de programación lógica con tipos
title_short Especificación e implementación de un lenguaje de programación lógica con tipos
title_full Especificación e implementación de un lenguaje de programación lógica con tipos
title_fullStr Especificación e implementación de un lenguaje de programación lógica con tipos
title_full_unstemmed Especificación e implementación de un lenguaje de programación lógica con tipos
title_sort especificación e implementación de un lenguaje de programación lógica con tipos
publishDate 1995
url http://sedici.unlp.edu.ar/handle/10915/24268
work_keys_str_mv AT delrieuxclaudio especificacioneimplementaciondeunlenguajedeprogramacionlogicacontipos
AT caccamomario especificacioneimplementaciondeunlenguajedeprogramacionlogicacontipos
bdutipo_str Repositorios
_version_ 1764820466866847744

Ejemplares similares