Now showing items 1-2 of 2

    • McLaren's Masterpiece 

      Gries, David; Prins, Jan F. (Cornell University, 1986-01)
      Abstract not available
    • Partial Implementations in Program Derivation 

      Prins, Jan F. (Cornell University, 1987-08)
      A partial implementation of an abstract notation provides an implementation for some of the notations operations on some of the values in the notation. A collection of partial implementations of a fixed notation -differing ...