Experiences with strong moding in concurrent logic/constraint programming

Kazunori Ueda*

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

研究成果: Conference contribution

9 被引用数 (Scopus)

抄録

Strong moding is turning out to play fundamental roles in concurrent logic programming (or in general, concurrent constraint programming) as strong typing does but in different respects. “Principal modes” can most naturally be represented as feature graphs and can be formed by unification. We built a mode analyzer, implementing mode graphs and their operations by means of concurrent processes and streams (rather than records and pointers). This is a non-trivial programming experience with complicated process structures and has provided us with several insights into the relationship between programming with dynamic data structures and programming with dynamic process structures. The mode analyzer was then applied to the analyzer itself to study the characteristics of the mode constraints it imposed and of the form of large mode graphs. Finally, we show how our framework based on principal moding can be extended to deal with (1) random-access data structures, (2) mode polymorphism, (3) higher-order constructs, and (4) various non-Herbrand constraint systems.

本文言語English
ホスト出版物のタイトルParallel Symbolic Languages and Systems - International Workshop PSLS 1995, Proceedings
編集者Takayasu Ito, Robert H. Halstead, Christian Queinnec
出版社Springer Verlag
ページ134-153
ページ数20
ISBN(印刷版)3540611436, 9783540611431
DOI
出版ステータスPublished - 1996 1月 1
イベント3rd International workshop on Parallel Symbolic Languages and Systems, PSLS 1995 - Beaune, France
継続期間: 1995 10月 21995 10月 4

出版物シリーズ

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

Other

Other3rd International workshop on Parallel Symbolic Languages and Systems, PSLS 1995
国/地域France
CityBeaune
Period95/10/295/10/4

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータサイエンス一般

フィンガープリント

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

引用スタイル