Naoki Kobayashi, Akinori Yonezawa  Home/Search
Context Related
Links: ACM DBLP | camille.is.s.utok...pp94hacla4.ps.gz 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: indiana.edu/pub/ucstri/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We propose a typed, higher-order, concurrent linear logic programming called higher-order ACL, which uniformly integrates a variety of mechanisms for concurrent computation based on asynchronous message passing. Higher-order ACL is based on a proof search paradigm according to the principle, proofs as computations, formulas as processes in linear logic. In higher-order ACL, processes as well as functions, and other values can be communicated via messages, which provides high modularity ... (Update)
Context of citations to this paper: More
...change in process environments can be expressed by linear logic. Some computational models of concurrency are applications of it [1] [7], 17] In particular, the relation between linear logic and Petri nets has been well studied [3] 5] 9] 12] 14] 16] The...
Cited by: More
A Model for Declarative Programming and Specification with.. - Caires (1999) (Correct)
Type Systems for Concurrent Programs - Kobayashi (2002) (Correct)
Temporal Linear Logic and Its Applications - Hirai (2000) (Correct)
Similar documents (at the sentence level):
53.0%: Typed Higher-Order Concurrent Linear Logic Programming - Kobayashi, Yonezawa (1994) (Correct)
Active bibliography (related documents): More All
0.2: Linearity and the Pi-Calculus - Naoki Kobayashi University (1996) (Correct)
0.1: Pict: A Programming Language Based on the Pi-Calculus - Pierce, Turner (1997) (Correct)
0.1: Static Analysis of Communication for Asynchronous Concurrent.. - Kobayashi (1995) (Correct)
Similar documents based on text: More All
0.5: ACL - A Concurrent Linear Logic Programming Paradigm - Kobayashi, Yonezawa (1993) (Correct)
0.5: Asynchronous Communication Model Based on Linear Logic - Kobayashi (1995) (Correct)
0.5: Reasoning on Actions and Change in a Linear Logic Programming - Naoki Kobayashi Akinori (1993) (Correct)
Related documents from co-citation: More All
13: Pict: A programming language based on the pi-calculus - Pierce, Turner - 1997
12: Compiling with Continuations (context) - Appel - 1992
12: Linearity and the pi-calculus - Kobayashi, Pierce et al. - 1996
BibTeX entry: (Update)
N. Kobayashi and A. Yonezawa. Higher-order concurrent linear logic programming. In Theory and Practice of Parallel Programming, pages 137--166. Springer LNCS 907, 1995. http://citeseer.ist.psu.edu/kobayashi95higherorder.html More
@inproceedings{ kobayashi94higherorder,
author = "Naoki Kobayashi and Akinori Yonezawa",
title = "Higher-Order Concurrent Linear Logic Programming",
booktitle = "Theory and Practice of Parallel Programming",
pages = "137-166",
year = "1994",
url = "citeseer.ist.psu.edu/kobayashi95higherorder.html" }
Citations (may not include all citations):343 Principal type-schemes for functional programs (context) - Damas - 1982 DBLP
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas - 1991 ACM DBLP
247 The Family of Concurrent Logic Programming Languages (context) - Shapiro - 1989 ACM DBLP
242 Linear Logic (context) - Girard - 1987 ACM DBLP
223 Linear Objects: Logical processes with built-in inheritance - Andreoli - 1991 ACM
159 CML: A Higher-order Concurrent Language (context) - Reppy - 1991 DBLP
146 Typing and Subtyping for Mobile Processes - Pierce - 1993 DBLP
125 ABCL: An Object-Oriented Concurrent System (context) - Yonezawa - 1990 ACM
76 The polyadic -calculus: a tutorial - Milner - 1991
62 Theoretical Aspects of Object-Oriented Programming - Gunter - 1994 ACM
59 A Typing System for a Calculus of Objects - Vasconcelos - 1993 ACM DBLP
55 A Compilation Method for ML-Style Polymorphic Record Calculi - Ohori - 1992 ACM DBLP
49 ACL -- A Concurrent Linear Logic Programming Paradigm - Kobayashi - 1993
47 Higher-Order Concurrent Programs with Finite Communicationn .. - Nielson - 1994
43 Asynchronous Communication Model Based on Linear Logic - Kobayashi ACM DBLP
40 Communication as Fair Distribution of Knowledge - Andreoli - 1991 ACM DBLP
33 Type-Theoretic Foundations for Concurrent Object-Oriented Pr.. (context) - Kobayashi - 1994 DBLP
24 Higher-order, linear, concurrent constraint programming - Saraswat - 1992
22 Principal typing schemes in a polyadic - calculus - Vasconcelos - 1993
22 A Sort Inference Algorithm for the Polyadic -calculus (context) - Gay - 1993
21 Towards Foundations for Concurrent ObjectOriented Programmin.. (context) - Kobayashi
18 The Type System of a Higher-Order Logic Programming Language - Nadathur - 1992 ACM DBLP
12 Tutorial on Linear Logic (context) - Troelstra - 1992
11 Abstract Interpretation of Linear Logic Programming - Andreoli, Pareschi - 1993 ACM DBLP
9 Types for Dydadic Interaction (context) - Honda - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.indiana.edu/pub/ucstri/index): More
Environment Modelling for Mobile Robots: Neural Learning for.. - van Dam (1998) (Correct)
Broadcasting in Butterfly and DeBruijn Networks - Klasing, Monien, Peine, Stöhr (1992) (Correct)
ILFA - A Project in Experimental Logic Computation - Dunker, Flögel, Büning.. (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