Article <v6g444$pdc2$1@dont-email.me>

Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connections
Warning: mysqli::query(): Couldn't fetch mysqli in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\index.php on line 66
Article <v6g444$pdc2$1@dont-email.me>

Deutsch English Français Italiano

<v6g444$pdc2$1@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: eternal-september.org!news.eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Sequence of sequence, selection and iteration matters
Date: Mon, 8 Jul 2024 10:22:44 +0300
Organization: -
Lines: 26
Message-ID: <v6g444$pdc2$1@dont-email.me>
References: <v6e7va$c4sv$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 08 Jul 2024 09:22:44 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a98dcd6495175f277f53e395195ce032";
	logging-data="832898"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/34BMoaSWIbQ5GFr/Vrt91"
User-Agent: Unison/2.2
Cancel-Lock: sha1:F1S56y9TusMGds9vt5V7M/14j/I=

On 2024-07-07 14:16:10 +0000, olcott said:

> _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]
> 
> Sufficient knowledge of the x86 language conclusively proves
> that the call from DDD correctly emulated by HHH to HHH(DDD)
> cannot possibly return for any pure function HHH.

Suffifcient knowledge of the x86 language makes obvious that
DDD returns if and only if HHH returns.

Whether a partial simulation of DDD simulates the return depends
on the simulator. The code of DDD and x86 language don't tell
how much a simulator (not shown above) simulates.

-- 
Mikko