Automated numerical approximations

Approximations permeate our computing systems. They help to save computing resources such as time and energy, but they also necessarily introduce errors. How do these errors affect the overall correctness of our computations? To handle the complexity of today's computer programs, we need to develop tools, which automatically analyze the effects of approximation errors and thus help engineers to write correct and efficient code.