Kazunori Ueda  Home/Search
Context Related
| ueda.info.waseda.ac.jp/~...LPPueda2.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: Concurrent logic/constraint programming is a simple and elegant formalism of concurrency that can potentially address a lot of important future applications including parallel, distributed, and intelligent systems. Its basic concept has been extremely stable and has allowed e#cient implementations. However, its uniqueness makes this paradigm rather di#cult to appreciate. Many people consider concurrent logic/constraint programming to have rather little to do with the rest of logic... (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)
Active bibliography (related documents): More All
0.1: Towards Parallel Mercury - Conway (2002) (Correct)
0.1: A Survey Of Stream Processing - Stephens (1995) (Correct)
0.1: Stream Processing I: A Survey - Stephens (1995) (Correct)
Similar documents based on text: More All
1.1: Concurrent Logic/Constraint Programming: The Next 10 Years - Kazunori Ueda Waseda (1999) (Correct)
0.9: I/O Mode Analysis in Concurrent Logic Programming - Ueda (1995) (Correct)
0.8: Kima: an Automated Error Correction System for Concurrent Logic .. - Ajiro, Ueda (2000) (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/482581.html More
@misc{ ueda99concurrent,
author = "Kazunori Ueda",
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/482581.html" }
Citations (may not include all citations):6 All Solutions Predicates in Prolog (context) - -- - 1995 DBLP
1 Linearity Analysis of Concurrent Logic Programs (context) - Springer-Verlag, pp et al. - 1996 DBLP
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