Language Design for Reliable Software

Keyphrases

Publications

1977

David B. Lomet
Process Structuring, Synchronization, and Recovery Using Atomic Actions. Language Design for Reliable Software (1977)
Robert G. Herriot
Towards the Ideal Programming Language. Language Design for Reliable Software (1977)
Allen L. Ambler
GYPSY: A Language for Specification and Implementation of Verifiable Programs. Language Design for Reliable Software (1977)
Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977. Language Design for Reliable Software (1977)
Patrick Cousot, Radhia Cousot
Static Determination of Dynamic Properties of Generalized Type Unions. Language Design for Reliable Software (1977)
Daniel P. Friedman, David S. Wise
Aspects of Applicative Programming for File Systems (Preliminary Version). Language Design for Reliable Software (1977)
Gerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London
Notes on the Design of Euclid. Language Design for Reliable Software (1977)
M. Donald MacLaren
Exception Handling in PL/I. Language Design for Reliable Software (1977)
Allen L. Ambler, Charles G. Hoch
A Study of Protection in Programming Languages. Language Design for Reliable Software (1977)
Charles N. Fischer, Richard J. LeBlanc
Efficient Implementation and Optimization of Run-Time Checking in Pascal. Language Design for Reliable Software (1977)
Normand Buckle
Restricted Data Types, Specification and Enforcement of Invariant Properties of Variables. Language Design for Reliable Software (1977)
Tom Love
An Experimental Investigation of the Effect of Program Structure on Program Understanding. Language Design for Reliable Software (1977)
P. M. Melliar-Smith, Brian Randell
Software Reliability: The Role of Programmed Exception Handling. Language Design for Reliable Software (1977)
John V. Guttag, Ellis Horowitz, David R. Musser
Some Extensions to Algebraic Specifications. Language Design for Reliable Software (1977)
Gregory R. Andrews, James R. McGraw
Language Features for Process Interaction. Language Design for Reliable Software (1977)