External Links

    Journal: SIGPLAN Notices

    Volume 32, Issue 1

    14 -- 57Peter Trott. Programming Languages: Past, Present, and Future
    59 -- 65Chris Hankin, Hanne Riis Nielson, Jens Palsberg. Position Statements on Strategic Directions for Research on Programming Languages
    66 -- 68Luca Cardelli. Global Computation
    69 -- 72Charles Consel. Program Adaption based on Program Transformation
    73 -- 76Patrick Cousot. Program Analysis: The Abstract Interpretation Perspective
    77 -- 79Michael Hanus. Integration of Declarative Paradigms: Benefits and Challenges
    80 -- 85Robert Harper, John C. Mitchell. ML and Beyond
    86 -- 88Daniel Le Métayer. Program Analysis for Software Engineering: New Applications, New Requirements, New Tools
    89 -- 91Flemming Nielson. Perspectives on Program Analysis
    92 -- 93Martin Odersky. Challenges in Type Systems Research
    94 -- 97Robert Paige. Future Directions In Program Transformations
    99 -- 102Alberto Pettorossi, Maurizio Proietti. Future Directions in Program Transformation
    103 -- 105John C. Reynolds. Beyond ML
    106 -- 109Jon G. Riecke. Program Language Semantics: The Description of Computational Structures
    110 -- 114Barbara G. Ryder. A Position Paper on Compile-time Program Analysis
    115 -- 116David A. Schmidt. On the Need for a Popular Formal Semantics
    117 -- 119Dennis M. Volpano. Provably-Secure Programming Languages for Remote Evaluation
    120 -- 121Reinhard Wilhelm. Program Analysis: A Toolmaker s Perspective
    runs on