Universidad Complutense de Madrid
E-Prints Complutense

Parameterized skeletons in Maude



Último año

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

Vista previa


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
Código ID:6863
Depositado:11 Dic 2007
Última Modificación:06 Feb 2014 07:52

Descargas en el último año

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