Numerical Program Analysis and Transformation

Example: To-Be-Recorded Analysis and Adjoint Code Generation