Biblioteca de la Universidad Complutense de Madrid

Parameterized skeletons in Maude

Impacto



Riesco Rodríguez, Adrián y Verdejo López, José Alberto (2007) Parameterized skeletons in Maude. [ Technical Report 1/07; ] (No publicado)

[img]
Vista previa
PDF
433kB


Resumen

Algorithmic skeletons are a well-known approach for implementing distributed applications. Declarative versions typically use higher-order functions in functional languages. We show here a different approach based on parameterized modules in Maude, that receive the operations needed to solve a concrete problem as a parameter. Architectures are conceived separately from the skeletons that are executed on top of them. The ob ject-oriented methodology followed facilitates nesting of skeletons and the combination of architectures. Maude analysis tools allow to check properties of the applications built by instantiating a skeleton at different abstraction levels.


Tipo de documento:Documento de trabajo o Informe técnico
Palabras clave: Algorithmic skeletons, Parameterization, Distributed applications, Maude
Materias:Ciencias > Informática > Lenguajes de programación
Título de serie o colección:Technical Report 1/07
Volumen:
Número:
Código ID:6863
Depositado:11 Dic 2007
Última Modificación:06 Feb 2014 07:52

Sólo personal del repositorio: página de control del artículo