Abstrakt. Vi introducerar en betongsemantik för flyttalsoperationer som beskriver spridningen av avrundningsfel genom en beräkning. Denna semantik används för att hävda riktigheten i en abstrakt tolkning som enkelt kan härledas från den. I vår modell introducerar varje elementär operation en ny term för första orderfel, som senare kombineras med andra feltermer, vilket ger högre orderfelstermer. Semantikerna är parameteriserade av den maximala ordningen av fel som ska undersökas och verifierar om högre orderfel faktiskt är försumbara. Vi anser också grövre semantik beräkna bidraget, till det slutliga felet, av fel på grund av vissa mellanliggande beräkningar.
Martel REF presenterar en allmän konkret semantik för flyttalsoperationer för att förklara spridningen av avrundningsfel i en beräkning.
Propagation of roundoff errors in finite precision computations: a semantics approach
{'venue': 'In ESOP’02, number 2305 in LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}