Universidad Complutense de Madrid
E-Prints Complutense

Parameterized skeletons in Maude



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)



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
ID Code:6863
Deposited On:11 Dec 2007
Last Modified:06 Feb 2014 07:52

Origin of downloads

Repository Staff Only: item control page