This framework provides two new classes, GPUsingle and GPUdouble, which encapsulate vectors of numerical data allocated on GPU memory and allow mathematical operations on objects of such classes via function and operator overloading.
But they have introduced a special type, the "tuple", which wraps a number of values into one, adding generics, closures and operator overloading.
It discusses object identity, type constructors, encapsulation, type hierarchies, inheritance, polymorphism, and operator overloading.
TaylUR makes heavy use of operator overloading and other Fortran 95 features such as elemental functions.
An efficient indexing technique leads to a reduced memory usage and a substantially increased performance gain over other available tools with operator overloading.
It implements the forward mode of automatic differentiation using the arithmetic of dual numbers and the operator overloading feature of F90/ 95/2003.
The underlying equational logic chosen for Maude is membership equational logic, that has sorts, subsorts, operator overloading, and partiality definable by membership and equality conditions.
Tijskens, H. Ramon, J. De Baerdemaeker, Efficient operator overloading AD for solving non-linear PDEs, in: G. Corliss, C. Faure, A. Griewank, L. Hascoët, U. Nauman (Eds)., Automatic Differentiation of Algorithms—From Simulation to Optimisation, Springer, Verlag, 2002; Num.
While the implementation of automatic differentiation via source transformation yields the highest efficiency results, particularly for gradient computations, the implementation via operator overloading remains a viable alternative for some application contexts.
However, for code compactness, we have made extensive use of templates and operator overloading, which are supported in CUDA C++, but not in OpenCL, which is based on C99.
