I/O mode analysis in concurrent logic programming

Kazunori Ueda*

*Corresponding author for this work

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 publicationTheory and Practice of Parallel Programming - International Workshop, TPPP 1994, Proceedings
EditorsAkinori Yonezawa, Takayasu Ito
PublisherSpringer Verlag
Pages356-368
Number of pages13
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)0302-9743
ISSN (Electronic)1611-3349

Other

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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint

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

Cite this