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

    Fingerprint

    Concurrent Programming
    Logic programming
    Logic Programming
    Electric wiring
    Programming
    Garbage Collection
    Data Flow
    Unification
    Type Systems
    Concurrent
    Safety
    Update
    Paradigm
    Logic
    Path
    Resources

    ASJC Scopus subject areas

    • Computer Science(all)
    • Theoretical Computer Science

    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

    I/O mode analysis in concurrent logic programming. / Ueda, Kazunori.

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 907 Springer Verlag, 1995. p. 356-368 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 907).

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

    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, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 907, Springer Verlag, pp. 356-368, 1st International Workshop on Theory and Practice of Parallel Programming, TPPP 1994, Sendai, Japan, 94/11/7. https://doi.org/10.1007/BFb0026579
    Ueda K. 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. Springer Verlag. 1995. p. 356-368. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/BFb0026579
    Ueda, Kazunori. / I/O mode analysis in concurrent logic programming. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 907 Springer Verlag, 1995. pp. 356-368 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
    @inproceedings{af311cb385344a7f8a70635b51fb3a59,
    title = "I/O mode analysis in concurrent logic programming",
    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.",
    author = "Kazunori Ueda",
    year = "1995",
    doi = "10.1007/BFb0026579",
    language = "English",
    isbn = "3540591729",
    volume = "907",
    series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
    publisher = "Springer Verlag",
    pages = "356--368",
    booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

    }

    TY - GEN

    T1 - I/O mode analysis in concurrent logic programming

    AU - Ueda, Kazunori

    PY - 1995

    Y1 - 1995

    N2 - 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.

    AB - 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.

    UR - http://www.scopus.com/inward/record.url?scp=84958764235&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=84958764235&partnerID=8YFLogxK

    U2 - 10.1007/BFb0026579

    DO - 10.1007/BFb0026579

    M3 - Conference contribution

    AN - SCOPUS:84958764235

    SN - 3540591729

    SN - 9783540591726

    VL - 907

    T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

    SP - 356

    EP - 368

    BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

    PB - Springer Verlag

    ER -