MAC Technical Reports (1963 - 1974): Recent submissions

Now showing items 88-90 of 119

    • Computer Design for Asynchronously Reproducible Multiprocessing 

      Van Horn, Earl C. (1966-11)
      A concept is presented for designing either a computing system, or a programming language system, so that the following problem is avoided: during a multiprocess computation in which several processes communicate, and in ...

    • ADEPT: A Heuristic Program for Proving Theorems of Group Theory 

      Norton, Lewis Mark (1966-10)
      A computer program, named ADEPT (A Distinctly Empirical Prover of Theorems), has been written which proves theorems taken from the abstract theory of groups. Its organization is basically heuristic, incorporating many ...

    • Pilot: A Step Towards Man-Computer Symbiosis 

      Teitelman, Warren (1966-09)
      PILOT is a programming system constructed in LISP. It is designed to facilitate the development of programs by easing the familiar sequence: write some code, run the program, make some changes, write some more code, run ...