A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Overlay GHC: An Extension of Guarded Horn Clauses for Overlay Programming
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
doi:10.1109/dexa.2008.105
dblp:conf/dexaw/Saito08
fatcat:fyv556c7dbfulncepzhurcynxi