The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 02 - June (vol. 2)
ISSN: 0098-5589
Papers

IEEE Computer Society (PDF)

pp. c2

Goal-Directed Program Transformation (Abstract)

B. Wegbreit , Xerox Palo Alto Research Center
pp. 69-80

Programming-in-the-Large Versus Programming-in-the-Small (Abstract)

F. DeRemer , Board of Studies in Information Sciences, University of California
pp. 80-86

A Problem-Reduction Approach to Proving Simulation Between Programs (Abstract)

A. Birman , IBM Thomas J. Watson Research Center
pp. 87-96

An Analysis of Some Commercial PL/I Programs (Abstract)

J.L. Elshoff , Computer Science Department, General Motors Research Laboratories
pp. 113-120

Interactive High-Level Language Direct-Execution Microprocessor System (Abstract)

null Yaohan Chu , Department of Computer Science, University of Maryland
pp. 126-134

A Study of High-Resolution Timing (Abstract)

D.B. Wortman , Department of Computer Science and the Computer Systems Research Group, University of Toronto
pp. 135-137
91 ms
(Ver )