The Tangent linear and Adjoint Model Compiler (TAMC) is an automatic differentiation package designed and implemented by Ralf Giering. The code generated by TAMC can be understood in terms of a careful mathematical model for a subroutine implementing an operator.