Now showing items 1-1 of 1

    • A System for Invariant-Driven Transformations 

      Gorbovitski, Michael (The Graduate School, Stony Brook University: Stony Brook, NY., 1-May-11)
      Transformation systems are important for program manipulations such as optimization, instrumentation, and refactoring. Even though not always stated explicitly, these transformations are always driven by invariants, such ...