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 10-12 of 119

    • A Portable Compiler for the Language C 

      Snyder, Alan (1975-05)
      This paper describes the implementation of a compiler for the language C. The compiler has been designed to be able to be capable of producing assembly-language code for most register-oriented machines with only minor recoding.

    • Program Restructuring for Virtual Memory Systems 

      Johnson, Jerry William (1975-03)
      The problem area addressed in this report is program restructuring, a method of reordering the relocatable sectors of a program in its address space to increase the locality of the programs reference behavior, thereby ...

    • A Formalization and Correctness Proof of the CGOL Language System 

      VanDeVanter, Michael Lee (1975-03)
      In many important ways the design and implementation of programming languages are hindered rather than helped by BNF. We present an alternative meta-language based on the work of Pratt which retains much of the effective ...