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.
CITATION STYLE
Kobayashi, N., Nakade, M., & Yonezawa, A. (1995). Static analysis of communication for asynchronous concurrent programming languages. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 983, pp. 225–242). Springer Verlag. https://doi.org/10.1007/3-540-60360-3_42
Mendeley helps you to discover research relevant for your work.