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

Author

Saito, Kenji

Author_Institution

Nat. Inst. of Inf. & Commun. Technol., Keio Univ., Tokyo

fYear

2008

fDate

1-5 Sept. 2008

Firstpage

342

Lastpage

346

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), as a candidate for such a language.

Keywords

Horn clauses; Internet; concurrency control; logic programming; logic programming languages; multiprocessing systems; telecommunication computing; Internet; Overlay GHC; concurrency control; concurrent logic programming language; guarded Horn clause; high-speed network; loosely-coupled multiprocessor environment; overlay network programming language; tightly-coupled multiprocessor environment; Communications technology; Computer languages; Concurrent computing; Databases; Expert systems; High-speed networks; IP networks; Logic design; Logic programming; Multicore processing; P2P; concurrent logic programming; overlay network; programming language;

fLanguage

English

Publisher

ieee

Conference_Titel

Database and Expert Systems Application, 2008. DEXA '08. 19th International Workshop on

Conference_Location

Turin

ISSN

1529-4188

Print_ISBN

978-0-7695-3299-8

Type

conf

DOI

10.1109/DEXA.2008.105

Filename

4624739