Final Report of the Multics Kernal Design Project
| dc.contributor.advisor | Clark, D.D. | en_US |
| dc.contributor.advisor | Saltzer, J.H. | en_US |
| dc.contributor.advisor | Wells, D. | en_US |
| dc.contributor.author | Schroeder, Michael D. | en_US |
| dc.contributor.author | Clark, David D. | en_US |
| dc.contributor.author | Saltzer, Jerome H. | en_US |
| dc.contributor.author | Wells, D.H. | en_US |
| dc.date.accessioned | 2023-03-29T15:01:59Z | |
| dc.date.available | 2023-03-29T15:01:59Z | |
| dc.date.issued | 1978-03 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149485 | |
| dc.description.abstract | We describe a plan to create an auditable version of Multics. The engineering experiments of that plan are now complete. Type extension as a design discipline has been demonstrated feasible, even for the internal workings of an operating system, where many subtle intermodule dependencies were discovered and controlled. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-196 | |
| dc.title | Final Report of the Multics Kernal Design Project | en_US |
| dc.identifier.oclc | 03867493 |
