Listas: Una Formalización Relacional

Las Fork Álgebras constituyen un poderoso cálculo relacional para la derivación de programas. Esta clase de álgebras resulta de extender las álgebras relacionales con un nuevo operador, llama.do Jork que permite la introducción, por definición, de proyecciones. En este a.rtículo damos una axiomatiza...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Martínez López, Pablo E., Baum, Gabriel Alfredo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1995
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24266
Aporte de:
id I19-R120-10915-24266
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
fork álgebras
construcción formal de programas
teoría de listas
tipos de datos
spellingShingle Ciencias Informáticas
PROGRAMMING LANGUAGES
fork álgebras
construcción formal de programas
teoría de listas
tipos de datos
Martínez López, Pablo E.
Baum, Gabriel Alfredo
Listas: Una Formalización Relacional
topic_facet Ciencias Informáticas
PROGRAMMING LANGUAGES
fork álgebras
construcción formal de programas
teoría de listas
tipos de datos
description Las Fork Álgebras constituyen un poderoso cálculo relacional para la derivación de programas. Esta clase de álgebras resulta de extender las álgebras relacionales con un nuevo operador, llama.do Jork que permite la introducción, por definición, de proyecciones. En este a.rtículo damos una axiomatización del tipo de datos lista expresada en el lenguaje de las fork álgebras. La importancia de contar con una teoría de listas expresada en dicho lenguaje, con una notación uniforme y precisa, es imperiosa, ya que buena parte de la tarea de construcción formal de programas recae en el adecuado manejo de los tipos de datos. El método utilizado consiste en introducir constantes de relaciones junto con axiomas que las mismas deben cumplir para expresar las operaciones básicas sobre listas. Además, se prueban algunas propiedades conocidas utilizando los axiomas y se definen algunas operaciones derivadas para operar con listas.
format Objeto de conferencia
Objeto de conferencia
author Martínez López, Pablo E.
Baum, Gabriel Alfredo
author_facet Martínez López, Pablo E.
Baum, Gabriel Alfredo
author_sort Martínez López, Pablo E.
title Listas: Una Formalización Relacional
title_short Listas: Una Formalización Relacional
title_full Listas: Una Formalización Relacional
title_fullStr Listas: Una Formalización Relacional
title_full_unstemmed Listas: Una Formalización Relacional
title_sort listas: una formalización relacional
publishDate 1995
url http://sedici.unlp.edu.ar/handle/10915/24266
work_keys_str_mv AT martinezlopezpabloe listasunaformalizacionrelacional
AT baumgabrielalfredo listasunaformalizacionrelacional
bdutipo_str Repositorios
_version_ 1764820466863702016