Project MAC: Recent submissions

Now showing items 10-12 of 176

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