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

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,...

Full description

Saved in:
Bibliographic Details
Published in:2008 19th International Workshop on Database and Expert Systems Applications pp. 342 - 346
Main Author: Saito, K.
Format: Conference Proceeding
Language:English
Japanese
Published: IEEE 01.09.2008
Subjects:
Computational modeling
Computer languages
Computers
Concurrent computing
concurrent logic programming
Kernel
overlay network
P2P
Program processors
Programming
programming language
ISBN:9780769532998, 0769532993
ISSN:1529-4188
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
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.
AbstractList 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.
Author Saito, K.
Author_xml – sequence: 1
  givenname: K.
  surname: Saito
  fullname: Saito, K.
  organization: Nat. Inst. of Inf. & Commun. Technol., Keio Univ., Tokyo
BookMark eNo1jstKw0AYRgesYK1ZunIzL5A494u7ENOkUKgLBXfln2RSIslEJq3Yt7egfpuzOofvFi3CFDxC95RklBL7-Fy-5xkjxGSUyCuUWG2IVlZyZq1ZoCWVzKaCGnODknn-IJdxK6hgS7TZffk4wBlXdfGE84DL76MPcz8FPHW4OkFsfYvrKQZcDHCa_Yy7KeJ_6yVOhwjj2IfDHbruYJh98scVeluXr0WdbnfVpsi3ac80OaZOSccZFc4TA5yAcM5JJ00LhLLO2k5b0KS5XKdKGxAN5QwUsI5KpXRj-Ao9_HZ77_3-M_YjxPNeKCY0t_wHwzpM1g
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/DEXA.2008.105
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EndPage 346
ExternalDocumentID 4624739
Genre orig-research
GroupedDBID 23M
29F
29O
6IE
6IF
6IH
6IK
6IL
6IN
AAJGR
AAWTH
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
IPLJI
M43
OCL
RIE
RIL
RNS
ID FETCH-LOGICAL-i270t-b65b3214be08a30a4bbb5b58da012f99f79a70c3291678a4c132a6a2f15667c83
IEDL.DBID RIE
ISBN 9780769532998
0769532993
ISICitedReferencesCount 0
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000259487400057&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1529-4188
IngestDate Wed Aug 27 01:40:19 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
Japanese
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i270t-b65b3214be08a30a4bbb5b58da012f99f79a70c3291678a4c132a6a2f15667c83
PageCount 5
ParticipantIDs ieee_primary_4624739
PublicationCentury 2000
PublicationDate 2008-09-01
PublicationDateYYYYMMDD 2008-09-01
PublicationDate_xml – month: 09
  year: 2008
  text: 2008-09-01
  day: 01
PublicationDecade 2000
PublicationTitle 2008 19th International Workshop on Database and Expert Systems Applications
PublicationTitleAbbrev DEXA
PublicationYear 2008
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0000394142
ssj0019983
Score 1.6764419
Snippet Today's high-speed network allows sophisticated applications of overlay networks. Meanwhile, usage of multicore processors has been spreading. The level of...
SourceID ieee
SourceType Publisher
StartPage 342
SubjectTerms Computational modeling
Computer languages
Computers
Concurrent computing
concurrent logic programming
Kernel
overlay network
P2P
Program processors
Programming
programming language
Title Overlay GHC: An Extension of Guarded Horn Clauses for Overlay Programming
URI https://ieeexplore.ieee.org/document/4624739
WOSCitedRecordID wos000259487400057&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV07T8MwELbaioGpQIt4ywMjoXnYsc1WlZYiodIBULfKT6kSJKgvwb_Hdh5lYGGLI0WO7hxf7vx99wFwraOUcEq1Y7erAAkqAiolChgn1Nh4QLEHY749kcmEzmZs2gA3NRdGa-3BZ_rWXfqzfJXLjSuV9VAaI5KwJmgSQgquVl1PCROGIlS3jnLUMQ-ux7E76aS0SNkZTuz-m5Sdd6ox3TXf7N0PZ_0CYhk5Sbtfkis-4oza_3vXA9DdUffgtA5Kh6ChsyPQrrQbYPkpd8Dj89ZV8r7hw3hwB_sZHH55LHuewdxAv3C0guN8mcHBO9-s9Ara31tYPTUtYF0fdo4ueB0NXwbjoJRVCBYxCdeBSLFw8kRCh5QnIUdCCCwwVdwGK8OYIdZRobSGsX6kHEmbsPKUx8alekTS5Bi0sjzTJwBiJElIlVRSC4Q5Yyg2RLhNQSODjDoFHWeZ-WfROWNeGuXs79vnYL9CY4TRBWitlxt9Cfbkdr1YLa-8u38AYX6jEA
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV07T8MwELZKQYKpQIt444GRQB52bLNVpSUVpXQoqFtlO45UCRLUl-DfYzuPMrCwxZEiR3eOL3f-vvsAuFZeSDilyrDbYwcJKhwqJXIYJzTR8YBiC8Z8G5DhkE4mbFQDNxUXRillwWfq1lzas_w4kytTKrtDoY9IwLbANkbI93K2VlVRcQOGPFQ1jzLkMQuvx74566Q0T9oZDvQOHBS9d8ox3bTfvHvoTto5yNIzona_RFdszOk1_ve2-6C1Ie_BURWWDkBNpYegUao3wOJjboL-y9rU8r7hY9S5h-0Udr8smj1LYZZAu3RUDKNsnsLOO18t1ALqH1xYPjXKgV0feo4WeO11x53IKYQVnJlP3KUjQiyMQJFQLuWBy5EQAgtMY67DVcJYQrSrXKkNoz1JOZI6ZeUh9xOT7BFJgyNQT7NUHQOIkSQujWUslUCYM4b8hAizLSiUoCQ-AU1jmeln3jtjWhjl9O_bV2A3Gj8PpoP-8OkM7JXYDNc7B_XlfKUuwI5cL2eL-aV1_Q8UBKZX
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2008+19th+International+Workshop+on+Database+and+Expert+Systems+Applications&rft.atitle=Overlay+GHC%3A+An+Extension+of+Guarded+Horn+Clauses+for+Overlay+Programming&rft.au=Saito%2C+K.&rft.date=2008-09-01&rft.pub=IEEE&rft.isbn=9780769532998&rft.issn=1529-4188&rft.spage=342&rft.epage=346&rft_id=info:doi/10.1109%2FDEXA.2008.105&rft.externalDocID=4624739
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1529-4188&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1529-4188&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1529-4188&client=summon