Sujet : Re: Every sufficiently competent C programmer knows --- Semantic Property of Finite String
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theoryDate : 13. Mar 2025, 10:27:12
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <924e22fc46d629b311b16a954dd0bed980a0a094@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Wed, 12 Mar 2025 21:41:34 -0500 schrieb olcott:
On 3/12/2025 7:56 PM, dbush wrote:
On 3/12/2025 8:41 PM, olcott wrote:
>
NOT WHEN IT IS STIPULATED THAT THE BEHAVIOR BEING MEASURED IS
The direct execution of DDD
is proven to be different than the behavior of DDD emulated by HHH
according to the semantics of the x86 language.
Which is weird, considering that a simulator should produce the same
behaviour.
DECIDERS ARE REQUIRED TO REPORT ON THE SEMANTIC OR SYNTACTIC PROPERTY OF
THEIR INPUT FINITE STRINGS.
And not if the input called a different simulator that didn't abort.
-- Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:It is not guaranteed that n+1 exists for every n.