Experiences with strong moding in concurrent logic/constraint programming

研究成果: 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
CountryFrance
CityBeaune
Period95/10/295/10/4

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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

引用スタイル