Project MAC: Recent submissions

Now showing items 25-27 of 176

    • 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. ...