Journal: Communications of the ACM

Volume 20, Issue 8

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