The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 01 - March (vol. 1)
ISSN: 0098-5589
Papers

Editor's notice (Abstract)

pp. 1-6

[Back matter] (Abstract)

pp. 1-4

[Front matter] (Abstract)

pp. 1-4

Table of contents (Abstract)

pp. 1

[Inside front cover] (Abstract)

pp. c2

Specification techniques for data abstractions (Abstract)

Barbara H. Liskov , Department of Electrical Engineering and Computer SCience, Massachusetts Institute of Technology, Cambridge, Mass
Stephen N. Zilles , IBM Corporation, San Jose, Calif
pp. 7-19

On preventing programming languages from interfering with programming (Abstract)

W. M. Mckeeman , Department of Information Sciences, Universitv of California. Santa Cruz. Calif. 95064
pp. 19-26

Towards a programming apprentice (Abstract)

Carl E. Hewitt , Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, Mass. 02139
Brian Smith , Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, Mass. 02139
pp. 26-45

An interactive program verification system (Abstract)

Donald I. Good , Department of Computer Sciences, University of Texas, Austin, Tex. 78712
Ralph L. London , University of Southern California Information Sciences Institute, Marina del Rey, Calif
W. W. Bledsoe , Department of Computer Sciences, University of Texas, Austin, Tex. 78712
pp. 59-67

A synthesizer of inductive assertions (Abstract)

Steven M. German , Xerox Research Center, Palo Alto, Calif. 94304; Center for Research in Computing Technology, Harvard University, Cambridge, Mass
Ben Wegbreit , Xerox Research Center, Palo Alto, Calif. 94304
pp. 68-75

Proving loop programs (Abstract)

Sanat K. Basu , Department of Computer Science, University of Texas at Austin, Austin, Tex. 78712
Jayadev Misra , Department of Computer Science, University of Texas at Austin, Austin, Tex. 78712
pp. 76-86

Concurrent software fault detection (Abstract)

J. Richard Kane , Department of Computer Sciences, Northwestern University, Evanston, Ill. 60201; Bell Laboratories, Naperville, Ill. 60540
Stephen S. Yau , Departments of Computer Sciences and Electrical Engineering, Northwestern University, Evanston, Ill. 60201
pp. 87-99

Analytic models for rollback and recovery strategies in data base systems (Abstract)

K. Mani Chandy , Department of Computer Sciences, University of Texas at Austin, Austin, Tex. 78712
James C. Browne , Department of Computer Sciences, University of Texas at Austin, Austin, Tex. 78712
Charles W. Dissly , Department of Computer Sciences, University of Texas at Austin, Austin, Tex. 78712
Werner R. Uhrig , Department of Computer Sciences, University of Texas at Austin, Austin, Tex. 78712
pp. 100-110

A machine and configuration independent Fortran: Portable Fortran {PFortran} (Abstract)

Douglas E. Whitten , Department of Computer Science, Pennsylvania State University, University Park. Pa. 16802
Paul A. D. Demaine , Department of Computer Science, Pennsylvania State University, University Park. Pa. 16802
pp. 111-124

Some experience with automated aids to the design of large-scale reliable software (Abstract)

Barry W. Boehm , TRW Corporation, Redondo Beach, Calif
Robert K Mcclean , TRW Corporation, Redondo Beach, Calif
D. E. Urfrig , TRW Corporation, Redondo Beach, Calif
pp. 125-133
103 ms
(Ver )