[Oberon] Multiple RETURN in a procedure

[Ivan Denisov]

So, I will cite N. Wirth document, how he eliminated RETURN.

"Now the result specification becomes syntactically a part of the 
procedure declaration, and
vanishes as an independent statement form."

https://people.inf.ethz.ch/wirth/Oberon/Oberon07.pdf




24.10.2022 00:24, Diego Sardina пишет:
> On Sun, Oct 23, 2022, at 6:57 PM, Skulski, Wojciech wrote:
>> So what are those significant gains, as opposed to personal views what
>> is cluttered and what is not?
>>
> In structured programming and in formal verification of programs the return statement is a mistake and it's a fact, not a personal view.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.inf.ethz.ch/pipermail/oberon/attachments/20221024/b44aa1cf/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: gZ6DPj9sfsS0JFaG.jpeg
Type: image/jpeg
Size: 68245 bytes
Desc: not available
URL: <http://lists.inf.ethz.ch/pipermail/oberon/attachments/20221024/b44aa1cf/attachment-0001.jpeg>