Abstract is missing.
- GYPSY: A Language for Specification and Implementation of Verifiable ProgramsAllen L. Ambler. 1-10
- Notes on the Design of EuclidGerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London. 11-18
- Efficient Implementation and Optimization of Run-Time Checking in PascalCharles N. Fischer, Richard J. LeBlanc. 19-24
- A Study of Protection in Programming LanguagesAllen L. Ambler, Charles G. Hoch. 25-40
- Aspects of Applicative Programming for File Systems (Preliminary Version)Daniel P. Friedman, David S. Wise. 41-55
- Some Extensions to Algebraic SpecificationsJohn V. Guttag, Ellis Horowitz, David R. Musser. 63-67
- Static Determination of Dynamic Properties of Generalized Type UnionsPatrick Cousot, Radhia Cousot. 77-94
- Software Reliability: The Role of Programmed Exception HandlingP. M. Melliar-Smith, Brian Randell. 95-100
- Exception Handling in PL/IM. Donald MacLaren. 101-104
- An Experimental Investigation of the Effect of Program Structure on Program UnderstandingTom Love. 105-113
- Language Features for Process InteractionGregory R. Andrews, James R. McGraw. 114-127
- Process Structuring, Synchronization, and Recovery Using Atomic ActionsDavid B. Lomet. 128-137