Talk:Fail-stop

Latest comment: 13 days ago by Naruyoko in topic Scope

Untitled

edit

Modulo addition and multiplication *are* associative with themselves - most programming languages would have (1 + INT_MAX) + 5 = 1 + (INT_MAX + 5) = INT_MIN + 5

Saturating integer arithmetic, floating point arithmetic, and exceptions-on-overflow are non-associative, but that's not actually because of overflow, and that's not what the article discusses.

Overflow

edit

The article says

* For example, the "+" operator in many programming languages is not associative because of the possibility of floating-point overflow. 

but the Example that follows, and the linked "overflow" text, both talk about integer overflows and not floating-point. If floating-point overflows are a distinctly separate phenomenon than integer overflows, there should be an appropriate example; otherwise the text "floating-point" should probably be removed or replaced with "numeric" — Preceding unsigned comment added by 97.120.54.234 (talk) 02:26, 18 January 2022 (UTC)Reply

Scope

edit

The article is saying it is a "subset of a computer language", but literature seems to apply it more broadly as a computer design model. Fred B. Schneider authored many articles.[1][2][3] Naruyoko (talk) 21:49, 5 November 2024 (UTC)Reply