page 1  (27 pages)
2to next section

TECHNICAL REPORT 95-04

Static Analysis on Communication for

Asynchronous Concurrent Programming

Languages

Naoki Kobayashi, Motoki Nakade and Akinori Yonezawa

April 1995

T

Department of Information Science
Faculty of Science, University of Tokyo

7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan