id: 03870488
dt: a
an: 03870488
au: Dumontet, Jacques
ti: Étude de la preuve des programmes numériques: Prévision et compression
    des erreurs de calcul.
so: Tools, methods and languages for scientific and engineering computation,
    Proc. int. Conf., Paris 1983, 51-62 (1984).
py: 1984
pu: 
la: FR
cc: 
ut: program proof; truncation; rounding; (interval analysis; permutation-
    perturbation; parametric arithmetic; program optimization
ci: Zbl 0541.00011
li: 
ab: Summary: [For the entire collection see Zbl 0541.00011.] Classical methods
    to check computing errors, due to truncation or rounding (interval
    analysis, permutation-perturbation), give afterwards an estimate of a
    numerical result’s accuracy. We present a method, based on an
    adjustment to numerical programs of the assertion method for proving
    programs, which allows to estimate forward the error generated by each
    operation upon the ultimate result. Using an adequate parametric
    arithmetic then allows: -making successive calculations with a variable
    accuracy, so as to get "directly" the wanted accuracy, supported by
    proof, for the ultimate result. -contributing to program optimization.
rv: