Kazunori Ueda  Home/Search
Context Related
Links: ACM DBLP | ueda.info.waseda.ac.j...tacsfinal3.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: The use of types to deal with access capabilities of program entities is becoming increasingly popular. (Update)
Context of citations to this paper: More
...power of logical variables to feature channel mobility. Various type systems such as mode and linearity systems were later designed for GHC [13]. A lot of implementation e#orts and techniques have been accumulated. Concurrent logic programming was generalized to concurrent...
.... is that virtually all nonlinear variables have been used for one way multicasting and the strengthening causes no problem in practice [33]. Rule (HV) comes from the semantics of Flat GHC that multiple occurrences of a variable in a clause head must receive completely...
Cited by: More
LMNtal: a language model with links and membranes - Kazunori Ueda Norio (Correct)
Automated Programming Framework Using - Constraint-Based Static Analysis (Correct)
Programming with Logical Links: Design of the LMNtal language.. - Ueda, Kato (2002) (Correct)
Active bibliography (related documents): More All
2.0: A Pure Meta-Interpreter for Flat GHC, A Concurrent Constraint.. - Ueda (Correct)
1.0: Linearity Analysis of Concurrent Logic Programs - Ueda (1999) (Correct)
0.7: Storage Size Reduction by In-place Mapping of Arrays - Tronçon.. (2002) (Correct)
Similar documents based on text: More All
1.0: Kima: an Automated Error Correction System for Concurrent Logic .. - Ajiro, Ueda (2000) (Correct)
0.9: Concurrent Logic/Constraint Programming: The Next 10 Years - Kazunori Ueda Waseda (1999) (Correct)
0.9: Moded Flat GHC for Data-Parallel Programming (Extended Abstract) - Ueda (Correct)
Related documents from co-citation: More All
3: Concurrent LogicConstraint Programming Next Year - Logic, The et al. - 1999
2: Encapsulated Hierarchical Graphs (context) - Engels, Schurr - 1995
2: Graph transformation for specification and programming - Andries, Engels et al. - 1996
BibTeX entry: (Update)
Ueda, K., Resource-Passing Concurrent Programming. In Proc. TACS http://citeseer.ist.psu.edu/577729.html More
@article{ ueda01resourcepassing,
author = "Kazunori Ueda",
title = "Resource-Passing Concurrent Programming",
journal = "Lecture Notes in Computer Science",
volume = "2215",
pages = "95--??",
year = "2001",
url = "citeseer.ist.psu.edu/577729.html" }
Citations (may not include all citations):344 Concurrent Constraint Programming (context) - Saraswat, Rinard - 1990 ACM DBLP
294 An Object Calculus for Asynchronous Communication - Honda, Tokoro - 1991 ACM DBLP
291 A Calculus of Mobile Agents - Fournet, Gonthier et al. - 1996 ACM DBLP
247 The Family of Concurrent Logic Programming Languages (context) - Shapiro - 1989 ACM DBLP
184 Linear Types Can Change the World - Wadler - 1990
121 Guarded Horn Clauses - Ueda - 1986 ACM DBLP
121 Guarded Horn Clauses - Ueda ACM DBLP
113 Constraint Logic Programming: A Survey (context) - ar, Maher - 1994 DBLP
108 Linearity and the Pi-Calculus - Kobayashi, Pierce et al. - 1999
81 Once Upon a Type - Turner, Wadler et al. - 1995 ACM DBLP
66 Theory and Practice of Constraint Handling Rules - Fruhwirth - 1998
61 The Fusion Calculus: Expressiveness and Symmetry in Mobile P.. - Victor - 1998 DBLP
56 Janus: A Step Towards Distributed Constraint Programming (context) - Saraswat, Kahn et al. ACM DBLP
55 PARLOG: Parallel Programming in Logic (context) - Clark, Gregory - 1986
55 Resource Bound Certification - Crary, Weirich - 2000 ACM DBLP
53 Quasi-Linear Types - Kobayashi - 1999 ACM DBLP
49 Design of the Kernel Language for the Parallel Inference Mac.. - Ueda, Chikayama - 1990
48 Concurrent Prolog: A Progress Report (context) - Shapiro - 1986 ACM DBLP
48 Types and Subtypes for Client-Server Interactions - Gay, Hole - 1999
47 Lilac: A Functional Programming Language Based on Linear Log.. (context) - Mackie - 1994
44 Internal Mobility and Agent-Passing Calculi (context) - Sangiorgi - 1996 ACM DBLP
41 A Foundation for Higher-order Concurrent Constraint Programm.. - Smolka - 1994 ACM DBLP
37 Recursion and Dynamic Data-structures in Bounded Space: Towa.. - Hughes, Pareto - 1999 DBLP
31 A Model Generation Theorem Prover in KL1 Using a Ramified-St.. (context) - Fujita, Hasegawa - 1991
28 Constraints for Free in Concurrent Computation - Niehren, Muller - 1995 ACM DBLP
27 Moded Flat GHC and Its Message-Oriented Implementation Techn.. - Ueda, Morita - 1994 ACM DBLP
26 cient Purely Declarative Logic Programming Language (context) - Somogyi, Henderson et al. - 1996
24 Multiple Reference Management in Flat GHC (context) - Chikayama, Kimura - 1987
22 LOGIN: A Logic Programming Language with Built-In Inheritanc.. (context) - At-Kaci, Nasr - 1986 ACM DBLP
15 Transformation Rules for GHC Programs - Ueda, Furukawa
9 calculus and Applications to Distributed Objects (context) - Merro, Locality - 2000
8 Message-Oriented Parallel Implementation of Moded Flat GHC - Ueda, Morita - 1993 ACM DBLP
8 Predicate Logic as a Language for Parallel Programming (context) - van Emden, de Lucena - 1982
8 Experience with Strong Moding Concurrent LogicConstraint Pro.. (context) - with, in et al. - 1996
6 Error-Correcting Source Code - Ajiro, Ueda et al. - 1998 ACM DBLP
6 Typed Memory Management (context) - Walker - 2001 ACM
5 The Fifth Generation Project: Personal Perspectives (context) - Shapiro, Warren et al. - 1993 DBLP
5 A Module Based Analysis for Memory Reuse in Mercury - Mazur, Janssens et al. ACM DBLP
5 Concurrent LogicConstraint Programming Next Year - Logic, The et al. - 1999
5 Look Ma, No Garbage (context) - Baker - 1992
4 Linearity Analysis of Concurrent Logic Programs - Ueda - 2000 DBLP
4 cient Implementation of KL (context) - Chikayama, Fujise et al. - 1994
4 Parallel Destructive Updating in Strict Functional Languages (context) - Sastry, Clinger ACM DBLP
3 klint --- Static Analyzer for KL1 Programs (context) - Ueda - 1998
3 Operating System PIMOS and Kernel Language KL (context) - Chikayama
2 Kima: an Automated Error Correction System for Concurrent Lo.. - Ajiro, Ueda - 2001 DBLP
2 Compile-time Memory Reuse in Logic Programming Languages Thr.. (context) - Gudjonsson, Winsborough - 1999 ACM DBLP
2 Moded Flat GHC for Data-Parallel Programming (context) - Ueda - 1994
1 The Newsletter of the European Network in Computational Logi.. (context) - Miller, on - 1995
1 Optimizing Array Processing of Parallel KLIC (context) - Sakamoto, Matsumiya et al. - 2001
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