Now showing items 1-7 of 7

    • Automatic Differentiation of Polymorphic Fortran 77 Programs Using Adifor 3.0 

      Fagan, Mike; Rankin, C. (2003-11)
      Adifor 3.0 is a source-to-source transformation tool used to augment programs that compute derivatives. As part of the transformation process, Adifor analyzes certain aspects of program behaviour. Furthermore, that analysis ...
    • Derivatives By-Address for Fortran 77 

      Fagan, Mike (2006-12)
      FIXME. Automatic differentiation tools use 1 of 2 strategies to access derivative values. These strategies are: By-address, By-name. The by-address method is typically implemented by introducing structured types for each ...
    • Design and Implementation of whirl2xaif and xaif2whirl 

      Tallent, Nathan; Fagan, Mike (2003-11)
      In order to connect the Open64 Fortran front end to the xaifbooster differentiation engine, we needed to develop bridging tools to translate between Open64 intermediate representation language whirl and xaifbooster ...
    • Porting Open64 to the Cygwin Environment 

      Tallent, Nathan; Fagan, Mike (2003-11)
      Cygwin is a Linux-like environment for Windows. It is sufficiently complete and stable that porting even very large codes to the environment is relatively straightforward. Cygwin is easy enough to download and install that ...
    • Soft typing: An approach to type checking for dynamically typed languages 

      Fagan, Mike (1991)
      In an effort to avoid improper use of program functions, modern programming languages employ some kind of preventative type system. These type systems can be classified as either static or dynamic. Static type systems ...
    • Soft Typing: An Approach to Type Checking for Dynamically Typed Languages 

      Fagan, Mike (1992-08)
      In an effort to avoid improper use of program functions, modern programming languages employ some kind of preventative type system. These type systems can be classified as either static or dynamic. Static type systems ...
    • Verifying A Runge-Kutta Solver Using ADOL-C 

      Edwards, Chantal; Fagan, Mike (2003-11)
      This report describes our effort to verify differential equation solvers using automatic differentiation (AD). In particular, the report describes the AD verification technique in general, as well as the application of the ...