The MIT Libraries is completing a major upgrade to DSpace@MIT. Starting May 5 2026, DSpace will remain functional, viewable, searchable, and downloadable, however, you will not be able to edit existing collections or add new material. We are aiming to have full functionality restored by May 18, 2026 but intermittent service interruptions may occur. Please email dspace-lib@mit.edu with any questions. Thank you for your patience as we implement this important upgrade.

MAC Technical Reports (1963 - 1974): Recent submissions

Now showing items 25-27 of 119

    • A Model-debugging System 

      Mark, William S. (1974)

    • Verification of Programs Operating on Structured Data 

      Laventhal, Mark Steven (1974-03)
      The major method for verifying the correctness of computer program is the inductive assertion approach. This approach has been limited in the past by the lack of techniques for handling data structures. In particular, ...

    • Introduction to Multics 

      Saltzer, Jerome H. (1974-02)
      The Multics project was begun in 1964 by the Computer Systems Research group of M.I.T. Project MAC. The goal was to create a prototype of a computer utility. In 1965, the project became a cooperative venture of M.I.T. ...