Complutense University Library

Parameterized skeletons in Maude

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

[img]
Preview
PDF
433kB
View download statistics for this eprint

==>>> Export to other formats

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

Repository Staff Only: item control page