Universidad Complutense de Madrid
E-Prints Complutense

Parameterized skeletons in Maude

Downloads

Downloads per month over past year

6863

Impacto

Downloads

Downloads per month over past year



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

[thumbnail of tr-skeletons.pdf]
Preview
PDF
433kB


Abstract

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.


Item Type:Working Paper or Technical Report
Uncontrolled Keywords: Algorithmic skeletons, Parameterization, Distributed applications, Maude
Subjects:Sciences > Computer science > Programming languages (Electronic computers)
Series Name:Technical Report 1/07
Volume:
Number:
ID Code:6863
Deposited On:11 Dec 2007
Last Modified:06 Feb 2014 07:52

Origin of downloads

Repository Staff Only: item control page