Data Structure Management in a Data Flow Computer System
Name
MIT-LCS-TR-355.pdf
Size
3.29 MB
Format
Adobe PDF
Checksum (MD5)
4925689108a9bf59c4ea10a619be2dc9
Author(s)
Guharoy, Bhaskar
Advisor(s)
Dennis, Jack B.
Date Issued
May 1985
Series/Report no.
MIT-LCS-TR-355
Abstract
VIM is an experimental computer system being developed at MIT for supporting functional programming. The execution mechanism of the computer is based on data flow. This thesis presents mechanisms for managing data structures in this system. This thesis also develops a methodology for designing computers, which is based on successive refinement of formal models of the computer.
Persistent DSpace Link