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...
Guardado en:
Autores principales: | , |
---|---|
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 |