Kazunori Ueda, Takashi Chikayama  Home/Search
Context Related
Links: ACM DBLP | ueda.info.waseda.ac.jp/~ue...compj90.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ueda.info.waseda.ac.jp/~...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We review the design of the concurrent logic language GHC, the basis of the kernel language for the Parallel Inference Machine being developed in the Japanese Fifth Generation Computer Systems project, and the design of the parallel language KL1, the actual kernel language being implemented and used. The key idea in the design of these languages is the separation of concurrency and parallelism. Clari cation of concepts of this kind seems to play an important role in bridging the gap between... (Update)
Context of citations to this paper: More
.... at once (compare to Section 7) The system GDCC was implemented on top of KL1, a committed choice language developed at ICOT (see [35, 36]) The system allows the user to plug in constraint solvers via a so called stream interface, which handles the synchronization...
.... language, was followed by a succession of proposals, namely Concurrent Prolog [20] PARLOG [8] and Guarded Horn Clauses (GHC) 27] KL1 [29], the Kernel Language of the Fifth Generation Computer Systems (FGCS) project [22] was designed based on GHC by featuring (among...
Cited by: More
A Logic-Based Concurrent Object-Oriented - Programming Language Rafael (Correct)
Real Number Computation with Committed Choice Logic Programming.. - Hideki (2003) (Correct)
Automated Programming Framework Using - Constraint-Based Static Analysis (Correct)
Similar documents based on text: More All
1.0: Parallel Basic Software - Takashi Chikayama Institute (1994) (Correct)
0.8: Theory and Practice of Concurrent Systems - The Role of Kernel.. - Ueda (Correct)
0.8: Guarded Horn Clauses: A Parallel Logic Programming Language with.. - Ueda (1987) (Correct)
Related documents from co-citation: More All
10: Parallel Logic Programming in PARLOG (context) - Gregory - 1987
10: The Family of Concurrent Logic Programming Languages (context) - Shapiro - 1989
10: Guarded Horn Clauses - Ueda - 1986
BibTeX entry: (Update)
Ueda, K. and Chikayama, T. 1990. Design of the kernel language for the parallel inference machine. Computer Journal 33, 6, pp.494-500. http://citeseer.ist.psu.edu/ueda90design.html More
@article{ ueda90design,
author = "Kazunori Ueda and Takashi C. Chikayama",
title = "Design of the kernel language for the parallel inference machine",
journal = "The Computer Journal",
volume = "33",
number = "6",
pages = "494--500",
year = "1990",
url = "citeseer.ist.psu.edu/ueda90design.html" }
Citations not processed or no citations identified.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ueda.info.waseda.ac.jp/~ueda/papers.html): More
Making Exhaustive Search Programs Deterministic, Part II - Ueda (Correct)
Theory and Practice of Concurrent Systems - The Role of Kernel.. - Ueda (Correct)
Moded Flat GHC for Data-Parallel Programming (Extended Abstract) - Ueda (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC