Laboratory for Computer Science Progress Report

Front Cover
Massachusetts Institute of Technology, Laboratory for Computer Science., 1979 - Computer science
0 Reviews

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

lNTRODUCTlON
3
COMPUTATlON STRUCTURES GROUP
19
COMPUTER SYSTEMS RESEARCH
37
DlGlTAL lNFORMATlON MECHANlCS
63
KNOWLEDGE BASED SYSTEMS
69
MATHLAB
75
lntegration of Algebraic Functions
77
An 8086based LlSP System
78
Reliability Mechanisms in Distributed lnformation Systems
156
PROGRAMMERS APPRENTlCE
171
PROGRAMMlNG METHODOLOGY
175
lntroduction
177
Goals and Assumptions
178
The Guardian Model
177
Communication
181
Reliability
185

On Names
80
MESSAGE PASSlNG SEMANTlCS
87
A Review of Bakers Algorithm
88
Small Regions of Memory Can Replace Bakers Spaces
89
Scavenging Time ls Reduced by Restrictions on where Pointers Can
91
Older Objects Are Garbage Collected More Slowly than Younger
96
Scavenging May Not Be Necessary at Alll
97
Stacks Need Special Consideration
98
Value Cells Need Special Consideration
99
How Good ls the Performance of Our Garbage Collector?
102
Users Can Decide Between Short Term and Long Term Memory
104
Cheaper Short Term Memory May lmprove Programming Style
105
Acknowledgments
107
OFFlCE AUTOMATlON
113
lntroduction
115
Background
116
Overview
117
User lnterface
119
lmplementation Overview
122
Toward the Office Workstation
127
Functional Office Automation
130
OSL
132
Analysis Methodology
143
Plans and Directions
147
Query Evaluation System
154
A Theory for Abstract Data Types
193
Automatic Verification of Serializers
212
Semaphore Primitives and StarvationFree Mutual Exclusion
213
PROGRAMMlNG TECHNOLOGY
217
lntroduction
219
Advanced Message System
220
Machine lndependent MDL
225
REAL TlME SYSTEMS
229
lntroduction
231
Scalable Multiprocessor Architectures
232
VLSl Design Aids
233
SYSTEMATlC PROGRAM DEVELOPMENT
241
Program Verification
246
lnteraction Outside of LCS
247
TECHNlCAL SERVlCES
253
THEORY OF COMPUTATlON
255
Cryptology
257
Logics of Programs
259
Algorithms
265
Distributed Systems Theory
267
Combinatorial Optimization
268
Database Theory
269
Formal Languages
270
PUBLlCATlONS
289

Other editions - View all

Bibliographic information