<div dir="ltr">While exploring implementations of Pascal on BESM-6, I've encountered two peculiar language extensions about which I've asked on SE:<div><br></div><div>BRANCH/BACK: an analog of try/catch: </div><div><a href="https://retrocomputing.stackexchange.com/q/3150/4025">https://retrocomputing.stackexchange.com/q/3150/4025</a><br></div><div><br></div><div>Structural labels as a way to implement generalized break/continue: <a href="https://retrocomputing.stackexchange.com/q/3296/4025">https://retrocomputing.stackexchange.com/q/3296/4025</a><br></div><div><br></div><div>Both posts are quite verbose so I'm not quoting them here.</div><div><br></div><div>Regarding the first feature, I was told in a private conversation that the message "exit on ALT" for an uncaught "exception" - the equivalent of C++ terminate() - might have its roots in MULTICS.</div><div><br></div><div>Does any of the above ring any bells? I'm specifically interested in the branch/back feature. What theoretical paper does it come from?</div><div><br></div><div>Thanks,</div><div>Leo</div><div><br></div><div><br></div></div>