RT Report
T1 Parameterized skeletons in Maude
A1 Riesco Rodríguez, Adrián
A1 Verdejo López, José Alberto
AB 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.
PB Universidad Complutense de Madrid
YR 2007
FD 2007-01
LK https://hdl.handle.net/20.500.14352/56590
UL https://hdl.handle.net/20.500.14352/56590
LA eng
DS Docta Complutense
RD 16 may 2024