External Links

    Journal: Computer Languages, Systems \& Structures

    Volume 5, Issue 3

    131 -- 139Charles N. Fischer, Jon Mauney. On the Role of Error Productions in Syntactic Error Correction
    141 -- 153Micha Sharir. Structural Analysis: A New Approch to Flow Analysis in Optimizing Compilers
    155 -- 161Narain H. Gehani. Generic Procedures: An Implementation and an Undecidability Result
    163 -- 189Richard M. Salter, Terence J. Brennan, Daniel P. Friedman. Concur: A Language for Continuous, Concurrent Processes

    Volume 5, Issue 2

    65 -- 76Hiroyasu Nagata. Formal: A Language with a Macro-Oriented Extension Facility
    77 -- 101Daniel M. Berry, Richard A. Kemmerer, Arndt von Staa, Shaula Yemini. Toward Modular Verifiable Exception Handling
    103 -- 114Augusto Celentano, Pierluigi Della Vigna, Carlo Ghezzi. SIMPLE: A Program Development System
    115 -- 129Aspi B. Wadia. Generation of Node Lists Using Segment Analysis

    Volume 5, Issue 1

    1 -- 28Robert P. Rich. Mechanical Proof Testing
    29 -- 36John H. Crawford, Mehdi Jazayeri. A New Approach to Code Motion and its Application to Hoisting
    37 -- 55M. Howard Williams. A Formal Notation for Specifying Static Semantic Rules
    runs on