Technical Report (TR95-04) Cover Page

Department of Information Science, Faculty of Science, University of Tokyo
Title:
Static Analysis on Communication for Asynchronous Concurrent Programming Languages
Authors:
Naoki Kobayashi, Motoki Nakade and Akinori Yonezawa
Key words and phrases:
static analysis, effect system, asynchronous concurrent programming languages
Abstract:
We propose an effect-based static analysis technique on communication for {\em 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 compile-time 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.
Report date:
April 12, 1995
Written language:
English
Total number of pages:
24
Number of references:
20
Any other identifying information of this report:
Distribution statement:
First issue 35 copies.
Supplementary notes: