WG211/M14Taha
From WG 2.11
Title: Rigorous Simulation
Abstract: We motivate the vision named in the title, and explain how it relates to program generation. We report on our progress towards this vision, including a two-level language for interpreting the Euler-Lagrange equation using validated numerics.
