![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Language Design for Reliable Software 1977: Raleigh, North Carolina
- David B. Wortman:
Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977. ACM 1977, ISBN 978-1-4503-7380-7 - 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
- Charles M. Geschke, James H. Morris Jr., Edwin H. Satterthwaite:
Early Experience with Mesa. 540-553 - Mary Shaw
, William A. Wulf, Ralph L. London:
Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators. 553-564 - Barbara H. Liskov, Alan Snyder, Russell R. Atkinson, Craig Schaffert:
Abstraction Mechanisms in CLU. 564-576 - John D. Gannon:
An Experimental Evaluation of Data Type Conventions. 584-595 - Niklaus Wirth:
Toward a Discipline of Real-Time Programming. 577-583
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.