MAC Technical Reports (1963 - 1974): Recent submissions

Now showing items 43-45 of 119

    • Essays in Algebraic Simplification 

      Fateman, Richard J. (1972-04)
      This thesis consists of essays on several aspects of the problem of algebraic simplification by computer. Since simplification is at the core of most algebraic manipulations, efficient and effective simplification procedures ...

    • Analysis of Production Schemata by Petri Nets 

      Hack, Michel Henri Théodore (1972-02)
      Petri nets provide a powerful graphical tool for representing and analyzing complex concurrent systems. Properties such as hang-up freeness, determinacy, conflict, concurrency and dependency, can be represented and studied. ...

    • Induction in Proofs about Programs 

      Greif, Irene Gloria (1972-02)
      Four methods for proving equivalence of programs by induction are described and compared. They are recursion induction, structural induction, mu-rule induction, and truncation induction. McCarthy's formalism for conditional ...