Abstract is missing.
- Carrier Arrays: An Idiom-Preserving Extension to APLP. Geoffrey Lowney. 1-13
- Paths: An Abstract Alternative to PointersRobert Cartwright, Robert Hood, Philip Mathews. 14-27
- Program Improvement by Internal SpecializationWilliam L. Scherlis. 41-49
- Programming Primitives for Database LanguagesAshok K. Chandra. 50-62 [doi]
- Paging as a Language Processing TaskMichael W. Condry. 63-76
- Making the World Safe for Garbage CollectionSusan S. Owicki. 77-86
- Position Paper on Optimizing CompilersWilliam H. Harrison. 88-89
- Position Paper on Optimizing CompilersStephen C. Johnson. 90-91
- A Program Development ToolCyril N. Alberga, Alfred L. Brown, George B. Leeman Jr., Martin Mikelsons, Mark N. Wegman. 92-104
- Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed EditorsAlan J. Demers, Thomas W. Reps, Tim Teitelbaum. 105-116 [doi]
- Linear Cost is Sometimes QuadraticBarry K. Rosen. 117-124
- Formal Program TestingRobert Cartwright. 125-132
- On the Advantages of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers ProblemDaniel J. Lehmann, Michael O. Rabin. 133-138
- Program Verification Based on Denotational SemanticsWolfgang Polak. 149-158
- Program Logic Without Binding is DecidableVaughan R. Pratt. 159-163
- The Temporal Logic of Branching TimeMordechai Ben-Ari, Zohar Manna, Amir Pnueli. 164-176
- Verification of Attribute GrammarsTakuya Katayama, Yutaka Hoshino. 177-186
- Inferring Types in SmalltalkNorihisa Suzuki. 187-199
- Program Optimization and Exception HandlingJohn L. Hennessy. 200-206
- Dependence Graphs and Compiler OptimizationsDavid J. Kuck, Robert H. Kuhn, David A. Padua, Bruce Leasure, Michael Wolfe. 207-218
- A Precise Interprocedural Data Flow AlgorithmEugene W. Myers. 219-230