Periodic Reporting for period 1 - SemanDiff (Semantically correct automatic differentiation)

> What is the problem/issue being addressed?The problem my project addresses is how to calculate derivatives of functions implemented by piece of computer code in a way that is simultaneously correct, efficient and generally applicable.> Why is it important for society?Such...