@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",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1995.; 1st International Workshop on Theory and Practice of Parallel Programming, TPPP 1994 ; Conference date: 07-11-1994 Through 09-11-1994",
year = "1995",
doi = "10.1007/BFb0026579",
language = "English",
isbn = "3540591729",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "356--368",
editor = "Akinori Yonezawa and Takayasu Ito",
booktitle = "Theory and Practice of Parallel Programming - International Workshop, TPPP 1994, Proceedings",
}