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 depends on the original program being type correct. Since standard Fortran is officially monomorphic, the assumption of type correctness is not normally a difficult constraint to satisfy. There is a classof (non-standard) Fortran programs, however, that take advantage of the pass-by-reference semantics to be, in effect, polymorphic. This report details some techniques for differentiating these polymorphic programs using monomorphic Adifor 3.0. In particular, we report on our efforts to compute derivatives for the structu...
We exhibit an aggressive optimizing compiler for a functionalprogramming language which includes a f...
Type inference for structural polymorphism ---i.e. record and variant polymorphism--- has been an ac...
The OpenAD/F tool allows the evaluation of derivatives of functions defined by a Fortran pro-gram. T...
The numerical methods employed in the solution of many scientific computing problems require the com...
The numerical methods employed in the solution of many scientific computing problems require the com...
Automatic differentiation provides the foundation for sensitivity analysis and subsequent design opt...
The numerical methods employed in the solution of many scientific computing problems require the com...
Abstract. Automatic Dierentiation is a technique for augmenting computer programs with statements fo...
This paper discusses a simplified technique for software emulation of inheritance and run-time polym...
FIXME. Automatic differentiation tools use 1 of 2 strategies to access derivative values. These stra...
This paper discusses a simplified technique for software emulation of inheritance and run-time polym...
Automatic differentiation (AD) is a methodology for developing sensitivity-enhanced versions of arbi...
We propose extensions to FORTRAN which integrate forward and reverse Automatic Differentiation (AD)...
The type system of most modern functional programming languages is based on Milner's polymorphism. A...
. Automatic differentiation (AD) is a methodology for developing sensitivity-enhanced versions of ar...
We exhibit an aggressive optimizing compiler for a functionalprogramming language which includes a f...
Type inference for structural polymorphism ---i.e. record and variant polymorphism--- has been an ac...
The OpenAD/F tool allows the evaluation of derivatives of functions defined by a Fortran pro-gram. T...
The numerical methods employed in the solution of many scientific computing problems require the com...
The numerical methods employed in the solution of many scientific computing problems require the com...
Automatic differentiation provides the foundation for sensitivity analysis and subsequent design opt...
The numerical methods employed in the solution of many scientific computing problems require the com...
Abstract. Automatic Dierentiation is a technique for augmenting computer programs with statements fo...
This paper discusses a simplified technique for software emulation of inheritance and run-time polym...
FIXME. Automatic differentiation tools use 1 of 2 strategies to access derivative values. These stra...
This paper discusses a simplified technique for software emulation of inheritance and run-time polym...
Automatic differentiation (AD) is a methodology for developing sensitivity-enhanced versions of arbi...
We propose extensions to FORTRAN which integrate forward and reverse Automatic Differentiation (AD)...
The type system of most modern functional programming languages is based on Milner's polymorphism. A...
. Automatic differentiation (AD) is a methodology for developing sensitivity-enhanced versions of ar...
We exhibit an aggressive optimizing compiler for a functionalprogramming language which includes a f...
Type inference for structural polymorphism ---i.e. record and variant polymorphism--- has been an ac...
The OpenAD/F tool allows the evaluation of derivatives of functions defined by a Fortran pro-gram. T...