MIT Laboratory for Computer Science Progress Report 20 - July 1982 - Jun 1983

摘要

The work reported herein was carried out within MIT Laboratory for Computer Science during 1982-1983. This report summarizes the activities performed under DARPA funding. The contents include: Computer Systems and Communications; Computer Systems Structures; Computer Systems Joint Report; Education Computing; Functional Languages and Architectures; Information Mechanics; Programming Methodology; Systematic Program Development; and Theory of Distributed Systems.