researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal
Journal: Communications of the ACM
Home
Index
Info
Issue
Volume
20
, Issue
8
539
--
0
James J. Horning
.
Selected Papers from the ACM Conference on Language Design for Reliable Software - Introduction
540
--
553
Charles M. Geschke
,
James H. Morris Jr.
,
Edwin H. Satterthwaite
.
Early Experience with Mesa
553
--
564
Mary Shaw
,
William A. Wulf
,
Ralph L. London
.
Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators
564
--
576
Barbara Liskov
,
Alan Snyder
,
Russell R. Atkinson
,
Craig Schaffert
.
Abstraction Mechanisms in CLU
577
--
583
Niklaus Wirth
.
Toward a Discipline of Real-Time Programming
584
--
595
John D. Gannon
.
An Experimental Evaluation of Data Type Conventions
596
--
602
William R. Franta
,
Kurt Maly
.
An Efficient Data Structure for the Simulation Event Set
602
--
0
Orrin E. Taulbee
,
Samuel D. Conte
.
Corrigendum: Production and Employment of Ph.D. s in Computer Science - 1976
603
--
604
Eugene L. Lawler
.
Comment on Computing the k Shortest Paths in a Graph
604
--
605
Nissim Francez
.
Another Advantage of Keyword Notation for Parameter Communication with Subprograms