|
Título:
|
Parameterized skeletons in Maude
|
|
Autores:
|
Riesco Rodríguez, Adrián ;
Verdejo López, José Alberto
|
|
Tipo de documento:
|
texto impreso
|
|
Editorial:
|
Universidad Complutense de Madrid, 2007-01
|
|
Dimensiones:
|
application/pdf
|
|
Nota general:
|
info:eu-repo/semantics/openAccess
|
|
Idiomas:
|
|
|
Palabras clave:
|
Estado = No publicado
,
Materia = Ciencias: Informática: Lenguajes de programación
,
Tipo = Documento de trabajo o Informe técnico
|
|
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.
|
|
En línea:
|
https://eprints.ucm.es/id/eprint/6863/1/tr-skeletons.pdf
|
