Tower generic data processing

Many aspects of data processing are functional in nature and can take advantage of recent developments in the area of functional programming and calculi. The work described in this paper is an attempt to contribute to this line of thought, in particular exploiting the Haskell functional language as...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Necco, Claudia Mónica, Nuno Olivera, J.
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2005
Materias:
Ciencias Informáticas
generic programming
polytypic
Applicative (Functional) Programming
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23132
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23132
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
generic programming
polytypic
Applicative (Functional) Programming
spellingShingle Ciencias Informáticas
generic programming
polytypic
Applicative (Functional) Programming
Necco, Claudia Mónica
Nuno Olivera, J.
Tower generic data processing
topic_facet Ciencias Informáticas
generic programming
polytypic
Applicative (Functional) Programming
description Many aspects of data processing are functional in nature and can take advantage of recent developments in the area of functional programming and calculi. The work described in this paper is an attempt to contribute to this line of thought, in particular exploiting the Haskell functional language as support tool. Haskell is used mainly to animate an abstract model of the relational database calculus as defined by Maier, written in the style of model-oriented formal specification. Parametricity and genericity (polytypism) make room for generic versions of relational standard (type-constructor parametric) and multi-dimensional analysis operations are expressed in Generic Haskell. Besides animation, the functional model is further subjected to formal reasoning and calculation, paving the way to the eventual polytypic (generic) formulation of the standard relational calculus.
format Objeto de conferencia
Objeto de conferencia
author Necco, Claudia Mónica
Nuno Olivera, J.
author_facet Necco, Claudia Mónica
Nuno Olivera, J.
author_sort Necco, Claudia Mónica
title Tower generic data processing
title_short Tower generic data processing
title_full Tower generic data processing
title_fullStr Tower generic data processing
title_full_unstemmed Tower generic data processing
title_sort tower generic data processing
publishDate 2005
url http://sedici.unlp.edu.ar/handle/10915/23132
work_keys_str_mv AT neccoclaudiamonica towergenericdataprocessing
AT nunooliveraj towergenericdataprocessing
bdutipo_str Repositorios
_version_ 1764820465685102595

Ejemplares similares