Conferences in DBLP

Language Design for Reliable Software (LDRS) (ldrs)
1977 (conf/ldrs/77)

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