Forced Transformations of Occam Programs

Flemming Nielson, Hanne Riis Nielson

    Research output: Contribution to journalJournal articleResearchpeer-review

    Abstract

    One way of exploiting parallelism is to convert existing sequential solutions in such a way that the available parallelism is used. This may be done by program transformations as specified by certain laws of the programming language, in this case Occam. The contribution of the paper is to propose a technique that may be used to direct which laws to apply at which points to obtain improved efficiency (and to avoid undoing improvements made in the past).
    Original languageEnglish
    JournalInformation and Software Technology
    Volume34
    Issue number2
    Pages (from-to)91-96
    ISSN0950-5849
    DOIs
    Publication statusPublished - 1992

    Fingerprint

    Dive into the research topics of 'Forced Transformations of Occam Programs'. Together they form a unique fingerprint.

    Cite this