
TABLE OF CONTENTS
Issue No. 03 - May (vol. 3)
ISSN: 0098-5589
Papers
IEEE Computer Society (PDF)
pp. c2
Constructive Methods in Program Verification (Abstract)
B. Wegbreit , Xerox Palo Alto Research Center
pp. 193-209
Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract)
A. Silberschatz , Department of Mathematical Sciences, University of Texas
pp. 210-217
Use of Psychological Experimentation as an Aid to Development of a Query Language (Abstract)
P. Reisner , IBM Research Laboratory
pp. 218-229
Management of Software Development (Abstract)
E.B. Daly , GTE Automatic Electric Laboratories
pp. 229-242
Compiler Analysis of the Value Ranges for Variables (PDF)
W.H. Harrison , IBM Thomas J. Watson Research Center
pp. 243-250
A Study of the Physical Structure of Algorithms (Abstract)
S.H. Zweben , Department of Computer and Information Science, Ohio State University
pp. 250-258
Implementing a Pseudorandom Number Generator on a Minicomputer (Abstract)
W.V. Camp , Standard Oil (Indiana)
pp. 259-262
D. Gries , Department of Computer Science, Cornell University
pp. 262
Call for Papers (PDF)
pp. 262
IEEE Computer Society Publications (PDF)
pp. 262
Compcon77 Fall (PDF)
pp. 262