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 19-21 of 119

    • Semantics of Data Structures and References 

      Ellis, David J. (1974-08)
      Each programming language that handles data structures has its own set of rules for working with them. Notions such as assignment and construction of structures values appear in a huge number of different and complicated ...

    • Removing the Dynamic Linker from the Security Kernel of a Computing Utility 

      Jason, Philippe Arnaud (1974-06)
      In order to enforce the security of the information stored in a computing utility, it is necessary to certify that the protection mechanism is correctly implemented so that there exist no uncontrolled access path to the ...

    • Mathematical Logic for Computer Scientists 

      Levin, Michael (1974-06)
      This book is an introductory course in mathematical logic covering basic topics in quantification theory and recursive function theory, and is intended for the reader who is interested in artificial intelligence, computer ...