Artifact Details

Description

This box contains following technical reports, filed in the same order as this list:
Availability in the Echo file system
Some useful Modula-3 interfaces
Automated proofs of object code for a widely used microprocessor
Network objects
Distributed garbage collection for network objects
Authentication in the Taos operating system
Conjoining specifications
How to write a long formula
Dynamic typing in polymorphic languages
Extensible syntax with lexical scoping
Obliq: a language with distributed scope by Luca Cardelli
Inside Hector: the systems view
A block-sorting lossless data compression algorithm
Prudent engineering practice for cryptographic protocols
The 1993 SRC algorithm animation festival
TLA in pictures
Obliq-3D tutorial and reference manual
The Juno-2 constraint-based drawing editor Allan
Processes are in the eye of the beholder
The third annual video review of computational geometry
To provide or to bound: sampling in fully dynamic graph algorithms

Date

1993-1994; 1996

Author

Lamport, Leslie; Cardelli, Luca; Abadi, Martin; Hershberger, John; Brown, Marc H.; Najork, Marc

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