Overlay GHC: An extension of Guarded Horn Clauses for overlay programming

研究成果: Conference contribution

1 被引用数 (Scopus)

抄録

Today's high-speed network allows sophisticated applications of overlay networks. Meanwhile, usage of multicore processors has been spreading. The level of concurrency we need to handle has been rising rapidly, which necessitates a language that can express massive concurrency in a natural way, which can work with both tightly and loosely-coupled multiprocessor environments. This paper describes still work-in-progress design of "Overlay GHC", an overlay network programming language based on concurrent logic language GHC (Guarded Horn Clauses)[10], as a candidate for such a language.

本文言語English
ホスト出版物のタイトルProceedings - DEXA 2008, 19th International Conference on Database and Expert Systems Applications
ページ342-346
ページ数5
DOI
出版ステータスPublished - 2008
外部発表はい
イベントDEXA 2008, 19th International Conference on Database and Expert Systems Applications - Turin, Italy
継続期間: 2008 9 12008 9 5

出版物シリーズ

名前Proceedings - International Workshop on Database and Expert Systems Applications, DEXA
ISSN(印刷版)1529-4188

Conference

ConferenceDEXA 2008, 19th International Conference on Database and Expert Systems Applications
CountryItaly
CityTurin
Period08/9/108/9/5

ASJC Scopus subject areas

  • Engineering(all)

フィンガープリント 「Overlay GHC: An extension of Guarded Horn Clauses for overlay programming」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル