Abstract is missing.
- Compilation and Delayed Evaluation in APLLeonidas J. Guibas, Douglas K. Wyatt. 1-8
- The Smalltalk-76 Programming SystemDaniel Ingalls. 9-16
- Clauses: Scope Structures and Defined Functions in LucidEdward A. Ashcroft, William W. Wadge. 17-22
- Data Types as Values: Polymorphism, Type-Checking, EncapsulationAlan J. Demers, James E. Donahue, Glenn Skinner. 23-30
- Type Definitions with ParametersMarvin H. Solomon. 31-38
- Syntactic Control of InterferenceJohn C. Reynolds. 39-46
- Monoids for Rapid Data Flow AnalysisBarry K. Rosen. 47-59
- A General Scheme for the Automatic Inference of Variable TypesMarc A. Kaplan, Jeffrey D. Ullman. 60-75
- Symbolic Programming Analysis in Almost Linear TimeJohn H. Reif. 76-83
- Automatic Discovery of Linear Restraints Among Variables of a ProgramPatrick Cousot, Nicolas Halbwachs. 84-96
- A Portable Compiler: Theory and PracticeStephen C. Johnson. 97-104
- Automating Proofs of the Absence of Common Runtime ErrorsSteven M. German. 105-118
- A Metalanguage for Interactive Proof in LCFMichael J. C. Gordon, Robin Milner, L. Morris, Malcolm C. Newey, Christopher P. Wadsworth. 119-130
- Unrestricted Procedure Calls in Hoare s LogicRobert Cartwright, Derek C. Oppen. 131-140
- A Simplifier Based on Efficient Decision AlgorithmsCharles G. Nelson, Derek C. Oppen. 141-150
- Reasoning about Recursively Defined Data StructuresDerek C. Oppen. 151-157
- Off-Line and On-Line Algorithms for Deducing EqualitiesPeter J. Downey, Hanan Samet, Ravi Sethi. 158-170
- Verification and Design Aspects of True ConcurrencyDavid W. Mizell. 171-175
- Almost Control-Free (Indeterministic) Parallel Computation on Permit SchemesKarel Culík. 176-184
- Complexity of Expressions Allowing ConcurrencyWilliam F. Ogden, William E. Riddle, William C. Rounds. 185-194
- A Partial Evaluator, Its Use for Compiling Iterative Statements in LispAnders Haraldsson. 195-202
- Nondeterminism in Logics of ProgramsDavid Harel, Vaughan R. Pratt. 203-213
- Efficient Computation of Expressions with Common SubexpressionsBhaskaram Prabhala, Ravi Sethi. 222-230
- A New Method for Compiler Code GenerationR. Steven Glanville, Susan L. Graham. 231-240
- A Forward Move Algorithm for LR Error RecoveryThomas J. Pennello, Frank DeRemer. 241-254
- Local Constraints in the Syntax and Semantics of Programming LanguagesAravind K. Joshi, Leon S. Levy, Kang Yueh. 255-264