ACM DL

Computing Surveys (CSUR)

Menu

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

Archive


ACM Computing Surveys (CSUR) - The MIT Press scientific computation series, Volume 17 Issue 4, Dec. 1985

4.2BSD and 4.3BSD as examples of the UNIX system
John S. Quarterman, Abraham Silberschatz, James L. Peterson
Pages: 379-418
DOI: 10.1145/6041.6043
This paper presents an in-depth examination of the 4.2 Berkeley Software Distribution, Virtual VAX-11 Version (4.2BSD), which is a version of the UNIX Time-Sharing System. There are notes throughout on 4.3BSD, the forthcoming system from the...

Distributed operating systems
Andrew S. Tanenbaum, Robbert Van Renesse
Pages: 419-470
DOI: 10.1145/6041.6074
Distributed operating systems have many aspects in common with centralized ones, but they also differ in certain ways. This paper is intended as an introduction to distributed operating systems, and especially to current university research...

On understanding types, data abstraction, and polymorphism
Luca Cardelli, Peter Wegner
Pages: 471-523
DOI: 10.1145/6041.6042
Our objective is to understand the notion of type in programming languages, present a model of typed, polymorphic programming languages that reflects recent research in type theory, and examine the relevance of recent research to the...