Artifact Details

Description

This box contains the following technical reports, filed in the same order as this list:
An algorithm for data replication
Dynamic typing in a statically typed language
Operations on records
The part-time parliament
An efficient algorithm for finding the CSG representation of a simple polygon
Experience with the Firefly multiprocessor workstation
Modula-3 report (revised)
IO streams: abstract types, real programs
Explicit substitutions
A semantic basis for Quest
Abstract types and the dot notation
A temporal logic of actions
Report on the Larch Shared Language: Version 2.3
Autonet: a high-speed, self-configuring local area network using point-to-point links
Debugging Larch Shared Language specifications
In memoriam: J.C.R. Licklider 1915-1990
Subtyping recursive types
Heap usage in the Topaz environment
Experience with concurrent garbage collectors for Modula-2+
An axiomatization of Lamport’s temporal logic of actions

Date

1989-1990

Author

Lamport, Leslie; Cardelli, Luca

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