loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 19th International Conference on Database and Expert Systems Application
Overlay GHC: An Extension of Guarded Horn Clauses for Overlay Programming
September 01-September 05
ISBN: 978-0-7695-3299-8
ASCII Text
x 
 
Kenji Saito, "Overlay GHC: An Extension of Guarded Horn Clauses for Overlay Programming," Database and Expert Systems Applications, International Workshop on, pp. 342-346, 2008 19th International Conference on Database and Expert Systems Application, 2008.
 
 
BibTex
x
 
@article{ 10.1109/DEXA.2008.105,
author = {Kenji Saito},
title = {Overlay GHC: An Extension of Guarded Horn Clauses for Overlay Programming},
journal ={Database and Expert Systems Applications, International Workshop on},
volume = {0},
year = {2008},
issn = {1529-4188},
pages = {342-346},
doi = {http://doi.ieeecomputersociety.org/10.1109/DEXA.2008.105},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Database and Expert Systems Applications, International Workshop on
TI - Overlay GHC: An Extension of Guarded Horn Clauses for Overlay Programming
SN - 1529-4188
SP342
EP346
A1 - Kenji Saito,
PY - 2008
KW - P2P
KW - programming language
KW - concurrent logic programming
KW - overlay network
VL - 0
JA - Database and Expert Systems Applications, International Workshop on
ER -
 
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), as a candidate for such a language.
Index Terms:
P2P, programming language, concurrent logic programming, overlay network
Citation:
Kenji Saito, "Overlay GHC: An Extension of Guarded Horn Clauses for Overlay Programming," dexa, pp.342-346, 2008 19th International Conference on Database and Expert Systems Application, 2008
Usage of this product signifies your acceptance of the Terms of Use.