External Links

    Journal: SIGPLAN Notices

    Volume 39, Issue 2

    7 -- 10Paul Frenger. Dutch treat
    12 -- 17Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay. Adding the leads-to operator to Dijkstra s calculus
    18 -- 25Hongmin Lu, Yuming Zhou, Jiangtao Lu, Baowen Xu. A compile-time optimization framework for Ada rendezvous
    26 -- 33Litong Song, Krishna M. Kavi. What can we gain by unfolding loops?
    34 -- 39Yuan Liu, Baowen Xu. Process algebra model of Ada protected objects
    runs on