Artifact Details

Description

This box contains the following technical reports, filed in the same order as this list and indexed by folder number:
Folder 1:
A kernel language for modules and abstract data types
Eliminating go to’s while preserving program structure
Larch in five easy pieces
A caching file system for a programmer’s workstation
A fast mutual exclusion algorithm

Folder 2:
On interprocess communication
Topologically sweeping an arrangement
A polymorphic calculus with Type: Type
Control predicates are better than dummy variables for reasoning about program control
Fractional cascading

Folder 3:
Retiming synchronous circuitry
An O (n2) shortest path algorithm for a non-rotating convex body
A simple approach to specifying concurrent systems
A generalization of Dijkstra’s calculus
Win and sin: predicate transformers for concurrency

Folder 4:
Synchronizing time servers
Blossoming: a connect-the-dots approach to splines
Synchronization primitives for a multiprocessor: a formal specification

Folder 5:
Evolving the UNIX system interface to support multithreaded programs
Building user interfaces by direct manipulation
Firefly: a multiprocessor workstation
A simple and efficient implementation for small databases

Date

1984-1988

Publisher

Digital Equipment Corporation (DEC). Systems Research Center

Category

Technical Report

Collection Title

Digital Equipment Corporation records

Series Title

Technical reports: Systems Research Center reports

Credit

Gift of Hewlett-Packard Company

Lot Number

X2675.2004