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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - DEXA 2008, 19th International Conference on Database and Expert Systems Applications
Pages342-346
Number of pages5
DOIs
Publication statusPublished - 2008
Externally publishedYes
EventDEXA 2008, 19th International Conference on Database and Expert Systems Applications - Turin, Italy
Duration: 2008 Sep 12008 Sep 5

Publication series

NameProceedings - International Workshop on Database and Expert Systems Applications, DEXA
ISSN (Print)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)

Fingerprint Dive into the research topics of 'Overlay GHC: An extension of Guarded Horn Clauses for overlay programming'. Together they form a unique fingerprint.

Cite this