ACM DL

Computing Surveys (CSUR)

Menu

Search Issue
enter search term and/or author name below:

Archive


ACM Computing Surveys (CSUR), Volume 13 Issue 3, Sept. 1981

About This Issue…
Adele Goldberg
Page: 245
DOI: 10.1145/356850.356851

Formal Models for Computer Security
Carl E. Landwehr
Pages: 247-278
DOI: 10.1145/356850.356852

Verifying Security
Maureen Harris Cheheyl, Morrie Gasser, George A. Huff, Jonathan K. Millen
Pages: 279-339
DOI: 10.1145/356850.356853

Garbage Collection of Linked Data Structures
Jacques Cohen
Pages: 341-367
DOI: 10.1145/356850.356854

Surveyor's Forum: An Update on SynthaVision
Aristides A. G. Requicha
Page: 369
DOI: 10.1145/356850.356855

Surveyor's Forum: An Update on SynthaVision
Herbert A. Steinberg
Page: 369
DOI: 10.1145/356850.356856

Surveyor's Forum: Generating Solutions
Douglas J. Keenan
Page: 370
DOI: 10.1145/356850.356857

Surveyor's Forum: Generating Solutions
George S. Lueker
Page: 370
DOI: 10.1145/356850.356858