Proofs of numerical programs when the compiler optimizes.

Sylvie Boldo Thi Minh Tuyen Nguyen

Published in: Innov. Syst. Softw. Eng. (2011)

Keyphrases

computer programs
programming language
java bytecode
theorem proving
theorem prover
general purpose
information systems
software systems
sensitivity analysis
numerical analysis
programs written
formal proofs
real time
formal proof
provably correct
natural deduction
expert systems
genetic algorithm
databases