Distributed processing language overlay GHC and its application possibilities

Kenji Saito*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


Today's high-performance computers and high-speed networks allow sophisticated applications of overlay networks. Meanwhile, usage of multi-core processors has been spreading. The level of concurrency we need to handle in software systems 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 in parallel executions. This article describes still work-in-progress design of Overlay GHC, an overlay network programming language based on concurrent logic language GHC [1] (Guarded Horn Clauses), as a candidate for such a language, and its application possibilities especially in traceable networks.

Original languageEnglish
Pages (from-to)61-71
Number of pages11
JournalJournal of the National Institute of Information and Communications Technology
Issue number2-3
Publication statusPublished - 2008 Jun
Externally publishedYes


  • Concurrent programming
  • Logic programming
  • Overlay network
  • Parallel inference
  • Programming language

ASJC Scopus subject areas

  • Media Technology
  • Electrical and Electronic Engineering


Dive into the research topics of 'Distributed processing language overlay GHC and its application possibilities'. Together they form a unique fingerprint.

Cite this