Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

Show simple item record

dc.date.accessioned 2012-11-16T11:52:20Z
dc.date.available 2012-11-16T11:52:20Z
dc.date.issued 1995-10
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/24266
dc.description.abstract 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. es
dc.format.extent p. 3-14 es
dc.language es es
dc.subject PROGRAMMING LANGUAGES es
dc.subject fork álgebras es
dc.subject construcción formal de programas es
dc.subject teoría de listas es
dc.subject tipos de datos es
dc.title Listas: Una Formalización Relacional es
dc.type Objeto de conferencia es
sedici.creator.person Martínez López, Pablo E. es
sedici.creator.person Baum, Gabriel Alfredo es
sedici.description.note Eje: Lenguaje de programación es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 1995-10
sedici.relation.event I Congreso Argentino de Ciencias de la Computación es
sedici.description.peerReview peer-review es


Download Files

This item appears in the following Collection(s)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)