Research report 2018 - Max Planck Institute for Software Systems, Kaiserslautern site
Automated numerical approximations
Max-Planck-Institut für Softwaresysteme, Standort Kaiserslautern, Kaiserslautern
SummaryApproximations 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.