Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.lang.c,comp.lang.c++
Subject: Re: Can you please verify that the analysis of these C functions is
 correct?
Date: Sat, 22 Jun 2024 20:22:11 -0500
Organization: A noiseless patient Spider
Lines: 65
Message-ID: <v57tc3$100h$1@dont-email.me>
References: <v4obkj$f9p5$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 23 Jun 2024 03:22:11 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f19a017657c3e3f4d15756f16e311b4d";
	logging-data="32785"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18ulnAL6WYcoO15aSPasZty"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:rpiRk9Kvi13H870I6/3wH9o0xGI=
Content-Language: en-US
In-Reply-To: <v4obkj$f9p5$2@dont-email.me>
Bytes: 2719

On 6/16/2024 10:47 PM, olcott wrote:
> To understand this analysis requires a sufficient knowledge of
> the C programming language and what an x86 emulator does.
> 
> typedef void (*ptr)();
> int H0(ptr P);
> 
> void Infinite_Loop()
> {
>    HERE: goto HERE;
> }
> 
> void Infinite_Recursion()
> {
>    Infinite_Recursion();
> }
> 
> void DDD()
> {
>    H0(DDD);
>    return;
> }
> 
> int main()
> {
>    H0(Infinite_Loop);
>    H0(Infinite_Recursion);
>    H0(DDD);
> }
> 
> Every C programmer that knows what an x86 emulator is knows that when H0
> emulates the machine language of Infinite_Loop, Infinite_Recursion, and
> DDD that it must abort these emulations so that itself can terminate
> normally.
> 
> When this is construed as non-halting criteria then simulating
> termination analyzer H0 is correct to reject these inputs as non-
> halting.
> 
> *My POD24 diagnosis is reducing the time I have left to work on this*
> Validation of POD24 as a robust early clinical end point of poor
> survival in FL from 5225 patients on 13 clinical trials
> https://pubmed.ncbi.nlm.nih.gov/34614146/
> 

I wrote this whole paper all over again from scratch to make
it most easily understood by C/C++ software engineers like
myself. It also has some key technical details for computer
scientists.

*Termination Analyzer H is Not Fooled by Pathological Input P*

https://www.researchgate.net/publication/381636432_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_P 








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