Liste des Groupes | Revenir à theory |
On 8/9/2024 4:22 AM, Mikko wrote:It is not unless the stack pointer and base pointer contain theOn 2024-08-08 18:45:00 +0000, olcott said:*After we get agreement on this*
x86 machine code is a 100% exact and concrete specification.But has too many unimportant details.
(a) The "return" instruction is the halt state of DDD.
(b) DDD correctly emulated by any HHH never reaches this state.The "DDD correctly emulated by any HHH" is too ambigous. If it is
Then we move on to the last step we I prove how importantThat need not be proven. Everyone believes if you say so.
a 100% concrete specification is.
Les messages affichés proviennent d'usenet.