Language Design for Reliable Software 1977: Raleigh, North Carolina

David B. Wortman (Ed.): Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977. SIGPLAN Notices 12(3) March 1977, Operating Systems Review 11(2) April 1977, Software Engineering Notes 2(2) March 1977

Selected papers of this conference were published in CACM 20(8) August 1977

• Allen L. Ambler: GYPSY: A Language for Specification and Implementation of Verifiable Programs. 1-10
• Gerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London: Notes on the Design of Euclid. 11-18
• Charles N. Fischer, Richard J. LeBlanc: Efficient Implementation and Optimization of Run-Time Checking in Pascal. 19-24
• Allen L. Ambler, Charles G. Hoch: A Study of Protection in Programming Languages. 25-40
• Daniel P. Friedman, David S. Wise: Aspects of Applicative Programming for File Systems (Preliminary Version). 41-55
• Robert G. Herriot: Towards the Ideal Programming Language. 56-62
• John V. Guttag, Ellis Horowitz, David R. Musser: Some Extensions to Algebraic Specifications. 63-67
• Normand Buckle: Restricted Data Types, Specification and Enforcement of Invariant Properties of Variables. 68-76
• Patrick Cousot, Radhia Cousot: Static Determination of Dynamic Properties of Generalized Type Unions. 77-94
• P. M. Melliar-Smith, Brian Randell: Software Reliability: The Role of Programmed Exception Handling. 95-100
• M. Donald MacLaren: Exception Handling in PL/I. 101-104
• Tom Love: An Experimental Investigation of the Effect of Program Structure on Program Understanding. 105-113
• Gregory R. Andrews, James R. McGraw: Language Features for Process Interaction. 114-127
• David B. Lomet: Process Structuring, Synchronization, and Recovery Using Atomic Actions. 128-137