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

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.

• Type: Conference
• Year: 2008
• Where: DEXAW
• Authors: Kenji Saito
• Keywords: Database, DEXAW 2008, Logic Language Ghc, Overlay GHC, Overlay Network