Now showing items 1-2 of 2

    • Axiom-Based Transformations: Optimisation and Testing 

      Bagge, Anya Helene; Haveraaen, Magne (Elsevier, 2009-10-10)
      Programmers typically have knowledge about properties of their programs that aren't explicitly expressed in the code ­ properties that may be very useful for, e.g., compiler optimisation and automated testing. Although ...
      Journal article
    • Interfacing concepts: Why declaration style shouldn't matter 

      Bagge, Anya Helene; Haveraaen, Magne (Elsevier, 2010-09-17)
      A concept (or signature) describes the interface of a set of abstract types by listing the operations that should be supported for those types. When implementing a generic operation, such as sorting, we may then specify ...
      Journal article