Naoki Kobayashi, Motoki Nakade and Akinori Yonezawa Department of Information ...  Home/Search
Context Related
| yl.is.s.utokyo.ac...analysisa4.ps.gz camille.is.s.utok...lysisletter.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: yl.is.s.utokyo.ac...publications (more) Homepages: N.Kobayashi |
Rate this article:      (best)Comment on this article |
Abstract: . We propose an effect-based static analysis technique on communication for asynchronous concurrent programming languages. Our analysis gives an upper-bound of the number of enqueued messages and receivers for each communication channel, which can be used for compiletime optimizations for implementation of message passing. The main targets of our analysis are concurrent object-oriented languages, for which no formal static analysis method has been established. 1 Introduction Recent high-level... (Update)
Context of citations to this paper: More
...have proposed effectbased static analysis techniques for higher order concurrent languages, taking effects to be process expressions. In [KNY95] Kobayashi et al. propose a static analysis technique for the concurrent calculus HACL. It gives upper bounds for the sizes of queues...
Cited by: More
Assigning Types to Processes - Yoshida, Hennessy (2000) (Correct)
Appears in New Generation Computing, 15(4), 1997 - Static Analysis Of (1996) (Correct)
Linearity and the Pi-Calculus - Naoki Kobayashi University (1996) (Correct)
Similar documents (at the sentence level):
35.7%: Static Analysis on Communication for Asynchronous.. - Kobayashi, Nakade.. (1995) (Correct)
Active bibliography (related documents): More All
0.3: Type-Based Useless-Variable Elimination - Naoki Kobayashi Koba (1999) (Correct)
0.3: Partial Evaluation of Call-by-value lambda-calculus with.. - Asai, Masuhara, Yonezawa (1996) (Correct)
0.1: Type-Based Analysis Of Usage Of Values For Concurrent.. - Igarashi (1997) (Correct)
Similar documents based on text: More All
0.2: Distributed Concurrent Linear Logic Programming - Kobayashi, Shimizu, Yonezawa (Correct)
0.2: Typed Higher-Order Concurrent Linear Logic Programming - Kobayashi, Yonezawa (1994) (Correct)
0.1: Type-Based Information Flow Analysis for Low-Level Languages - Kobayashi, Shirane (2002) (Correct)
Related documents from co-citation: More All
20: Linearity and the pi-calculus - Kobayashi, Pierce et al. - 1996
11: Typing and sub-typing for mobile processes - Pierce, Sangiorgi - 1996
11: Information and Computation (context) - Milner, Parrow et al. - 1992
BibTeX entry: (Update)
Naoki Kobayashi, Motoki Nakade, and Akinori Yonezawa. Static analysis of communication for asynchronous concurrent programming languages. In Second International Static Analysis Symposium (SAS'95), LNCS 983, pages 225--242, 1995. See also Technical Report 95--04, University of Tokyo, Department of Information Science. http://citeseer.ist.psu.edu/article/kobayashi95static.html More
@inproceedings{ kobayashi95static,
author = "Naoki Kobayashi and Motoki Nakade and Akinori Yonezawa",
title = "Static Analysis of Communication for Asynchronous Concurrent Programming Languages",
booktitle = "Second International Static Analysis Symposium ({SAS}'95)",
volume = "983",
publisher = "Springer-Verlag",
pages = "225--242",
year = "1995",
url = "citeseer.ist.psu.edu/article/kobayashi95static.html" }
Citations (may not include all citations):673 Actors: A Model of Concurrent Computation in Distributed Sys.. (context) - Agha - 1986
521 Compiling with Continuations (context) - Appel - 1992
248 Expressing Mobility (context) - Sangiorgi - 1992
159 CML: A Higher-order Concurrent Language (context) - Reppy - 1991
146 Typing and Subtyping for Mobile Processes - Pierce - 1993
117 Object-Oriented Concurrent Programming (context) - Yonezawa - 1987
47 Higher-Order Concurrent Programs with Finite Communicationn .. - Nielson - 1994
43 Asynchronous Communication Model Based on Linear Logic - Kobayashi
42 An Efficient Implementation Scheme of Concurrent Object-Orie.. - Taura, Matsuoka et al. - 1993
41 The Type and Effect Discipline - Talpin - 1992
33 Type-Theoretic Foundations for Concurrent Object-Oriented Pr.. (context) - Kobayashi - 1994
27 Moded Flat GHC and Its Message-Oriented Implementation Techn.. - Ueda - 1994
26 Higher-Order Concurrent Linear Logic Programming - Kobayashi - 1995
11 Abstract Interpretation of Linear Logic Programming - Andreoli, Pareschi - 1993
11 Programming in the Pi-Calculus: An Experiment in Programming.. (context) - Pierce - 1993
8 Effect systems with subtyping - Tang - 1995
3 Polymorphic type, region and effect inference - Talpin - 1992
2 Static Analysis on Communication for Asynchrnous Concurrent .. (context) - Kobayashi, Nakade et al. - 1995
2 Constraints for Polymorphic Behaviors of Concurrent ML (context) - Nielson - 1994
The graph only includes citing articles where the year of publication is known.
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