Università di Pisa
Sistema bibliotecario di ateneo

An operational semantic for skeletons

Aldinucci, Marco and Danelutto, Marco (2002) An operational semantic for skeletons. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Postscript (GZip) - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (137Kb)


    In this work we present an operational semantic schema suitable for skeleton-based parallel languages supporting both task and data parallelism. The presented semantic describes both functional and parallel behavior of the skeletal language in a uniform way by means of a labeled transition system. We use Lithium language (namely a Java skeleton framework) as test-bed language to describe the methodology.

    Item Type: Book
    Uncontrolled Keywords: parallel programming, skeletons, java, semantic, stream
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 17 Dec 2014 16:32
    Last Modified: 17 Dec 2014 16:32
    URI: http://eprints.adm.unipi.it/id/eprint/2084

    Repository staff only actions

    View Item