I/O mode analysis in concurrent logic programming

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)

    Abstract

    This paper briefly reviews concurrent logic programming and the I/O mode system designed for the concurrent logic language Flat GHC. The mode system plays fundamental roles both in programming and implementation in almost the same way as type systems do but in different respects. It provides us with the information on how data are generated and consumed and thus the view of “data as resources”. It statically detects bugs resulting from ill-formed dataflow and advocates the “programming as wiring” paradigm. Well-modedness guarantees the safety of unification, the basic operation in concurrent logic programming. Information on the numbers of access paths to data can be obtained by slightly extending the framework, which can be used for compile-time garbage collection and the destructive update of structures.

    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    PublisherSpringer Verlag
    Pages356-368
    Number of pages13
    Volume907
    ISBN (Print)3540591729, 9783540591726
    DOIs
    Publication statusPublished - 1995
    Event1st International Workshop on Theory and Practice of Parallel Programming, TPPP 1994 - Sendai, Japan
    Duration: 1994 Nov 71994 Nov 9

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume907
    ISSN (Print)03029743
    ISSN (Electronic)16113349

    Other

    Other1st International Workshop on Theory and Practice of Parallel Programming, TPPP 1994
    CountryJapan
    CitySendai
    Period94/11/794/11/9

    ASJC Scopus subject areas

    • Computer Science(all)
    • Theoretical Computer Science

    Fingerprint Dive into the research topics of 'I/O mode analysis in concurrent logic programming'. Together they form a unique fingerprint.

  • Cite this

    Ueda, K. (1995). I/O mode analysis in concurrent logic programming. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 907, pp. 356-368). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 907). Springer Verlag. https://doi.org/10.1007/BFb0026579