Towards independent and-parallelism in CLP

Maria Jose Garcia De La Banda, Francisco Bueno, Manuel Hermenegildo

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    11 Citations (Scopus)

    Abstract

    In this paper we propose a complete scheme for automatic exploitation of independent and-parallelism in CLP programs. We first discuss the new problems involved because of the different properties of the independence notions applicable to CLP. We then show how independence can be derived from a number of standard analysis domains for CLP. Finally, we perform a preliminary evaluation of the efficiency, accuracy, and effectiveness of the approach by implementing a parallelizing compiler for CLP based on the proposed ideas and applying it on a number of CLP benchmarks.
    Original languageEnglish
    Title of host publicationProgramming Languages: Implementations, Logics, and Programs
    Subtitle of host publication8th International Symposium, PLILP '96 Aachen, Germany, September 24-27, 1996 Proceedings
    EditorsHerbert Kuchen, S. Doaitse Swierstra
    Place of PublicationBerlin Germany
    PublisherSpringer
    Pages77-91
    Number of pages15
    ISBN (Print)3540617566
    DOIs
    Publication statusPublished - 1996
    Event8th International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP 1996 - Aachen, Germany
    Duration: 24 Sep 199627 Sep 1996

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume1140
    ISSN (Print)0302-9743

    Conference

    Conference8th International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP 1996
    CountryGermany
    CityAachen
    Period24/09/9627/09/96

    Cite this