Using Type Extension to Organize Virtual Memory Mechanisms
Name
MIT-LCS-TR-167.pdf
Size
8.16 MB
Format
Adobe PDF
Checksum (MD5)
b914f42f7c8e4ed101d8ba369520788d
Author(s)
Janson, Philippe Arnaud
Advisor(s)
Schroeder, Michael D.
Date Issued
September 1976
Series/Report no.
MIT-LCS-TR-167
Abstract
Much effort is currently being devoted to producing systems that are easy to understand, to verify and to develop. The general methodology for designing such a system consists of decomposing it into a structured set of modules so that the modules can be understood, verified and developed individually, and so that the understanding/ verification of the system can be derived from the understanding/ verification of its modules. while many of the mechanisms in a computer system have been decomposed successfully into a structured set of modules, no technique has been proposed to organize the virtual memory mechanism of a system in such a way.
Persistent DSpace Link
