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

IEEE Computer Society (PDF)

pp. c2

Editor's Notice (PDF)

pp. 161

Persistent Software Errors (PDF)

R.L. Glass , Boeing Aerospace Company
pp. 162-168

Principles of Program Design Induced from Experience with Small Public Programs (Abstract)

D. Comer , Department of Computer Sciences, Purdue University
pp. 169-174

A Method for the Syntax Directed Design of Multiprograms (Abstract)

D. Coleman , Department of Computation, University of Manchester Institute of Science and Technology
pp. 189-196

The Determination of Loop Invariants for Programs with Arrays (PDF)

H.A. Ellozy , Computer Sciences Department, IBM Thomas J. Watson Research Center
pp. 197-206

Inference Rules for Program Annotation (PDF)

N. Dershowitz , Department of Computer Science, University of Illinois
pp. 207-222

Tidier Drawings of Trees (Abstract)

E.M. Reingold , Department of Computer Science, University of Illinois
pp. 223-228

Simplifld Alfu-N2merik FOnetiks (Sanf) (Abstract)

R. Sanford , Department of Electrical and Computing Engineering, Clarkson College of Technology
pp. 241-248

PRIM: A Fast Matrix Transpose Method (Abstract)

G.C. Goldbogen , Office of Computer Services, Rensselaer Polytechnic Institute
pp. 255-257

Call for Papers (PDF)

pp. 257
96 ms
(Ver 3.1 (10032016))