The Community for Technology Leaders
Green Image
Issue No. 01 - January (vol. 6)
ISSN: 0098-5589

IEEE Computer Society (PDF)

pp. c2

Editor's Notice (PDF)

pp. 1

Notes on Type Abstraction (Version 2) (Abstract)

J. Guttag , Laboratory for Computer Science, Massachusetts Institute of Technology
pp. 13-23

Abstract Data Type Specification in the Affirm System (Abstract)

D.R. Musser , Research and Development Center, General Electric Company
pp. 24-32

A Note on Synthesis of Inductive Assertions (Abstract)

S.K. Basu , Department of Computer Science, University of Nebraska
pp. 32-39

ADI: Automatic Derivation of Invariants (Abstract)

M. Tamir , Department of Applied Mathematics, Weizmann Institute of Science
pp. 40-48

Device Monitors (Abstract)

A.P. Ravn , Institute of Datalogy, University of Copenhagen
pp. 49-53

An Automatic-Controller Description Language (Abstract)

H. Takahashi , Department of Mathematics, College of Science and Engineering, Nihon University
pp. 53-64

Working Sets Past and Present (Abstract)

P.J. Denning , Department of Computer Science, Purdue University
pp. 64-84

Guaranteed Response Times in a Hard-Real-Time Environment (Abstract)

D.W. Leinbaugh , Department of Computer Science, University of Nebraska
pp. 85-91

Acknowledgment of Referees (PDF)

pp. 110-111

Information for Authors (PDF)

pp. 112

IEEE Copyright Form (PDF)

pp. 112

Call for Papers (PDF)

pp. 112
86 ms
(Ver 3.3 (11022016))