<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p><span style="left: 150px; top: 122.597px; font-size: 16.7px;
font-family: sans-serif; transform: scaleX(0.870306);"
role="presentation" dir="ltr">So, I will cite N. Wirth document,
how he eliminated RETURN.<br>
</span></p>
<p><span style="left: 150px; top: 122.597px; font-size: 16.7px;
font-family: sans-serif; transform: scaleX(0.870306);"
role="presentation" dir="ltr">"Now the result specification
becomes syntactically a part of the procedure declaration, and</span><br
role="presentation">
<span style="left: 150px; top: 141.797px; font-size: 16.7px;
font-family: sans-serif; transform: scaleX(0.872366);"
role="presentation" dir="ltr">vanishes as an independent
statement form."</span><br>
<br>
<a class="moz-txt-link-freetext" href="https://people.inf.ethz.ch/wirth/Oberon/Oberon07.pdf">https://people.inf.ethz.ch/wirth/Oberon/Oberon07.pdf</a></p>
<p><img src="cid:part1.OeDVnVvS.ImNf45Z4@gmail.com" alt=""></p>
<p><br>
</p>
<p><br>
</p>
<p><br>
</p>
<div class="moz-cite-prefix">24.10.2022 00:24, Diego Sardina пишет:<br>
</div>
<blockquote type="cite"
cite="mid:60a65acf-1c22-4589-a222-2330c29230fa@app.fastmail.com">
<pre class="moz-quote-pre" wrap="">On Sun, Oct 23, 2022, at 6:57 PM, Skulski, Wojciech wrote:
</pre>
<blockquote type="cite">
<pre class="moz-quote-pre" wrap="">
So what are those significant gains, as opposed to personal views what
is cluttered and what is not?
</pre>
</blockquote>
<pre class="moz-quote-pre" wrap="">
In structured programming and in formal verification of programs the return statement is a mistake and it's a fact, not a personal view.
</pre>
</blockquote>
</body>
</html>