Overlay GHC: An Extension of Guarded Horn Clauses for Overlay Programming

Kenji Saito
2008 2008 19th International Conference on Database and Expert Systems Applications  
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
more » ... urrent logic language GHC (Guarded Horn Clauses)[10], as a candidate for such a language.
doi:10.1109/dexa.2008.105 dblp:conf/dexaw/Saito08 fatcat:fyv556c7dbfulncepzhurcynxi