WIDE Paper-List in 2008





  Overlay GHC: an Extension of Guarded Horn Clauses for Overlay Programming
                         wide-paper-ideon-og1-00.txt









                     WIDE Project: http://www.wide.ad.jp/
                  If you have any comments on this document,
                       please contact to ad@wide.ad.jp.

Title: Overlay GHC: an Extension of Guarded Horn Clauses for Overlay Programming
Author(s):
	Kenji Saito (ks91@sfc.wide.ad.jp)
Date: 2008-9-3

%	- 査読ありのコンファレンス・ワークショップ等
@inproceedings{Saito:MPDMST2008,
 author = "Kenji Saito",
 title = "{Overlay GHC}: an Extension of {Guarded Horn Clauses}
	 for Overlay Programming",
 booktitle = "Proceedings of the 19th International Conference on Database and Expert Systems Application",
 pages = "342-346",
 month = "September",
 year = "2008"
}

# Additional data for readers
url:		http://www.media-art-online.org/pdf/mpdmst2008-og.pdf
x-wide-wgnames:	ideon
keywords:	P2P, concurrency, programming language, overlay network
references:
summary:	|
 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), as a candidate for such a language.
misc: