default search action

combined dblp search
author search
venue search
publication search

ask others

Language Design for Reliable Software 1977: Raleigh, North Carolina

> Home > Conferences and Workshops > Language Design for Reliable Software

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

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

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

- view
  authority control:
- export record
  dblp key:
  - journals/cacm/GeschkeMS77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/GeschkeMS77
Charles M. Geschke, James H. Morris Jr., Edwin H. Satterthwaite:
Early Experience with Mesa. 540-553
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/ShawWL77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/ShawWL77
Mary Shaw, William A. Wulf, Ralph L. London:
Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators. 553-564
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/LiskovSAS77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/LiskovSAS77
Barbara H. Liskov, Alan Snyder, Russell R. Atkinson, Craig Schaffert:
Abstraction Mechanisms in CLU. 564-576
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Gannon77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Gannon77
John D. Gannon:
An Experimental Evaluation of Data Type Conventions. 584-595
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Wirth77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Wirth77
Niklaus Wirth:
Toward a Discipline of Real-Time Programming. 577-583

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.