DMCA
Static Analysis on Communication for Asynchronous Concurrent Programming Languages (1995)
Cached
Download Links
| Citations: | 24 - 5 self |
BibTeX
@MISC{Kobayashi95staticanalysis,
author = {Naoki Kobayashi and Naoki Kobayashi and Motoki Nakade and Motoki Nakade and Motoki Nakade and Akinori Yonezawa and Akinori Yonezawa and Akinori Yonezawa},
title = {Static Analysis on Communication for Asynchronous Concurrent Programming Languages},
year = {1995}
}
Share
 |
 |
 |
 |
||
OpenURL
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 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....
Keyphrases
asynchronous concurrent programming language static analysis supplementary note report date april formal static analysis method jp akinori yonezawa yonezawa concurrent object-oriented language communication channel japan static analysis department information science faculty bunkyo-ku tokyo message passing report distribution statement first issue jp motoki nakade nakade main target enqueued message effect-based static analysis technique identifying information tokyo 7-3-1 hongo written language english compile-time optimization
