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
Last update Fri May 25 08:25:16 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
