Abstract is missing.
- A Compact, Machine-Independent Peephole OptimizerChristopher W. Fraser. 1-6 [doi]
- A PL/CV PrecisRobert L. Constable, Scott Johnson. 7-20 [doi]
- Automatic Improvement of Programs in Very High Level LanguagesAmelia C. Fong. 21-28 [doi]
- Principles of Proving Programs Correct in GypsyDonald I. Good, Richard M. Cohen, James Keeton-Williams. 42-52 [doi]
- The Evolution of List-Copying AlgorithmsStanley Lee, Willem P. de Roever, Susan L. Gerhart. 53-67 [doi]
- First Order Programming LogicRobert Cartwright, John L. McCarthy. 68-80 [doi]
- Recursion in Logics of ProgramsDavid Harel. 81-92 [doi]
- Process LogicVaughan R. Pratt. 93-100 [doi]
- The Logic of a Relational Data Manipulation LanguageMarco A. Casanova, Philip A. Bernstein. 101-109 [doi]
- The Universality of Data Retrieval LanguagesAlfred V. Aho, Jeffrey D. Ullman. 110-120 [doi]
- Automatic Generation of Near-Optimal Translators for Noncircular Attribute GrammarsRina S. Cohen, E. Harry. 121-134 [doi]
- Space-Time Tradeoffs for Linear RecursionSowmitri Swami, John E. Savage. 135-142 [doi]
- Characterization and Elimination of Redundancy in Recursive ProgramsNorman H. Cohen. 143-157 [doi]
- Interpreter Generation Using Tree Pattern MatchingChristoph M. Hoffmann, Michael J. O Donnell. 169-179 [doi]
- Specifying Programming Language SemanticsIrene Greif, Albert R. Meyer. 180-189 [doi]
- Decisions for Type in APLW. E. Gull, Michael A. Jenkins. 190-196 [doi]
- Automatic Data Structure Selection in SETLEdmond Schonberg, Jacob T. Schwartz, Micha Sharir. 197-210 [doi]
- Synthesis of Resource Invariants for Concurrent ProgramsEdmund M. Clarke. 211-221 [doi]
- String Pattern Matching in Polynomial TimeKen C. Liu, Arthur C. Fleck. 222-225 [doi]
- Predicate Path ExpressionsSten Andler. 226-236 [doi]
- Type Checking in an Imperfect WorldTerrence C. Miller. 237-243 [doi]
- Flow Analysis and Optimization of Lisp-Like StructuresNeil D. Jones, Steven S. Muchnick. 244-256 [doi]
- Data Flow Analysis of Communicating ProcessesJohn H. Reif. 257-268 [doi]
- Systematic Design of Program Analysis FrameworksPatrick Cousot, Radhia Cousot. 269-282 [doi]
- Certifying Information Flow Properties of Programs: An Axiomatic ApproachRichard P. Reitman, Gregory R. Andrews. 283-290 [doi]