Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Anyone that disagrees with this is not telling the truth
Date: Sat, 17 Aug 2024 07:31:01 -0500
Organization: A noiseless patient Spider
Lines: 30
Message-ID: <v9q565$1tedb$2@dont-email.me>
References: <v9q52r$1tedb$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 17 Aug 2024 14:31:01 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="5c4a0c817977c3965e873c4f304e2b88";
	logging-data="2013611"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18r2thT5dGLpXC+VDh0ZBvX"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:fNvnt5PCwDGAvvtzV85exYijWHs=
Content-Language: en-US
In-Reply-To: <v9q52r$1tedb$1@dont-email.me>
Bytes: 2041

On 8/17/2024 7:29 AM, olcott wrote:
> void DDD()
> {
>    HHH(DDD);
> }
> 
> _DDD()
> [00002172] 55         push ebp      ; housekeeping
> [00002173] 8bec       mov ebp,esp   ; housekeeping
> [00002175] 6872210000 push 00002172 ; push DDD
> [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
> [0000217f] 83c404     add esp,+04
> [00002182] 5d         pop ebp
> [00002183] c3         ret
> Size in bytes:(0018) [00002183]
> 
> *It is a basic fact that DDD emulated by HHH according to*
> *the semantics of the x86 language cannot possibly stop*
> *running unless aborted* (out of memory error excluded)
> 

Simulating Termination Analyzer H is Not Fooled by Pathological Input D

https://www.researchgate.net/publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D 



-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer