External Links

    Journal: SIGPLAN Notices

    Volume 30, Issue 1

    5 -- 10Dianxiang Xu, Guoliang Zheng. Logical Objects with Constraints
    11 -- 19Ming-Yuan Zhu. Program Transformation in Constructive Type Theory
    20 -- 26Myung Ho Kim. A New Iteration Mechanism for The C++ Programming Language
    27 -- 36Erkan Tin, Varol Akman, Murat Ersan. Towards Situation-Oriented Programming Languages
    37 -- 44Max Copperman, Jeff Thomas. Poor Man s Watchpoints
    45 -- 52Henry G. Baker. Use-Once Variables and Linear Objects - Storage Management, Reflection and Multi-Threading
    53 -- 61Pierre Mellier, François Grize. OVIDE: A Tool for Data Acquisition and Validation
    runs on