[Oberon] Multiple RETURN in a procedure

Ivan Denisov d.ivan.krsk at gmail.com
Sun Oct 23 19:31:54 CEST 2022

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."


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>

More information about the Oberon mailing list