Kazunori Ueda Waseda University ueda@ueda. info.waseda.ac.jp Copyright (C)...  Home/Search
Context Related
| ueda.info.waseda.ac.jp...shakertown.pdf 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: ed to Deal with: Physical locations (nodes, sites) Re source s - space (heap usage) - time and stack usage Security - high-level: safety of comm. protocols etc. - low-level: leave to Java's bytecode verifier? Transmission of various entities Various patterns of communication GHC and KLI: Brief History (cf. CACM March 1993 issue) 1983 Concurrent Prolog, PARLOG 1983-84 big controversy (in ICOT) on LP vs. concurrent LP for parallel KIP systems 1984 Guarded Horn Clauses designed 1985... (Update)
Context of citations to this paper: More
...will focus on basic concepts. We briefly describe the design background of LMNtal. The first author designed Guarded Horn Clauses (GHC) [12] in mid 1980 s, a concurrent language that made use of the power of logical variables to feature channel mobility. Various type systems...
.... the process interpretation of logic programs [47] and forms one of many interesting subfields addressed by the logic programming paradigm [45]. The prominent feature of concurrent logic programming is that it exploits the power of logical, single assignment variables and data...
Cited by: More
LMNtal: a language model with links and membranes - Kazunori Ueda Norio (Correct)
Automated Programming Framework Using - Constraint-Based Static Analysis (Correct)
A Pure Meta-Interpreter for Flat GHC, A Concurrent Constraint.. - Ueda (Correct)
Similar documents (at the sentence level):
13.3%: Concurrent Logic/Constraint Programming: The Next 10 Years - Ueda (1999) (Correct)
11.1%: Guarded Horn Clauses: A Parallel Logic Programming Language with.. - Ueda (1987) (Correct)
Similar documents based on text: More All
0.9: Resource-Passing Concurrent Programming - Ueda (Correct)
0.8: Error-correcting Source Code - Yasuhiro Ajiro Kazunori (1998) (Correct)
0.7: Linearity Analysis of Concurrent Logic Programs - Ueda (1999) (Correct)
Related documents from co-citation: More All
4: Janus: A step towards distributed constraint programming (context) - Saraswat, Kahn et al. - 1990
3: Resource-Passing Concurrent Programming - Ueda
3: Moded Flat GHC and Its Message-Oriented Implementation Technique - Ueda - 1994
BibTeX entry: (Update)
Ueda, K., Concurrent Logic/Constraint Programming: The Next 10 Years. In The Logic Programming Paradigm: A 25-Year Perspective, Apt, K. R., Marek, V. W., Truszczynski M., and Warren D. S. (eds.), Springer-Verlag, 1999, pp. 53--71. http://citeseer.ist.psu.edu/521087.html More
@misc{ waseda99concurrent,
author = "Kazunori Ueda Waseda",
title = "Concurrent Logic/Constraint Programming: The Next 10 Years",
text = "Ueda, K., Concurrent Logic/Constraint Programming: The Next 10 Years. In
The Logic Programming Paradigm: A 25-Year Perspective, Apt, K. R., Marek,
V. W., Truszczynski M., and Warren D. S. (eds.), Springer-Verlag, 1999,
pp. 53--71.",
year = "1999",
url = "citeseer.ist.psu.edu/521087.html" }
Citations not processed or no citations identified.
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