I/O mode analysis in concurrent logic programming

Kazunori Ueda*

*この研究の対応する著者

研究成果: Conference contribution

4 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルTheory and Practice of Parallel Programming - International Workshop, TPPP 1994, Proceedings
編集者Akinori Yonezawa, Takayasu Ito
出版社Springer Verlag
ページ356-368
ページ数13
ISBN(印刷版)3540591729, 9783540591726
DOI
出版ステータスPublished - 1995
イベント1st International Workshop on Theory and Practice of Parallel Programming, TPPP 1994 - Sendai, Japan
継続期間: 1994 11 71994 11 9

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
907
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

Other

Other1st International Workshop on Theory and Practice of Parallel Programming, TPPP 1994
国/地域Japan
CitySendai
Period94/11/794/11/9

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「I/O mode analysis in concurrent logic programming」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル