Technical Report (TR95-04) Cover Page

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: