Static Analysis on Communication for Asynchronous Concurrent Programming Languages

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 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. ANY OTHER IDENTIFYING INFORMATION OF THIS REPORT DISTRIBUTION STATEMENT First issue 35 copies. SUPPLEMENTARY NOTES REPORT DATE April 1995 TOTAL NO. OF PAGES 24 WRITTEN LANGUAGE English NO. OF REFERENCES 20 DEPARTMENT OF INFORMATION SCIENCE Faculty of Science, University of Tokyo 7-3-1 Hongo, Bunkyo-ku Tokyo, 113 Japan Static Analysis on Communication for Asynchronous Concurrent Programming Languages Naoki Kobayashi koba@is.s.u-tokyo.ac.jp Motoki Nakade nakade@is.s.u-tokyo.ac.jp Akinori Yonezawa yonezawa@is.s.u-tokyo.ac...