The Community for Technology Leaders
Green Image
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

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

Call for Papers (PDF)

pp. 262

Compcon77 Fall (PDF)

pp. 262
105 ms
(Ver )