Research Article

Robustness Analysis of Floating-Point Programs by Self-Composition

Figure 4

A floating-point program min_plus1.
789213.fig.004