Timeline for Where did the notion of "one return only" come from?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 11, 2020 at 7:38 | history | edited | Murph | CC BY-SA 4.0 | added 1 character in body |
| Jun 10, 2020 at 16:46 | history | edited | Murph | CC BY-SA 4.0 | I answered the question, but clearly need to make that more obvious |
| Jun 10, 2020 at 15:45 | comment | added | Jeff Learman | I think I remember SIGPLAN articles from ACM back in the late 70's early 80's about correctness proving systems that said single return made the job much easier (along with other adornments such as assertions.) Of course, we know what resulted from this effort: we learned a lot about language design but didn't end up with practical tools. I also remember the fights between the provers and the testers in those articles. We know who won that argument. | |
| S Jun 10, 2020 at 14:52 | history | answered | Murph | CC BY-SA 4.0 | |
| S Jun 10, 2020 at 14:52 | history | made wiki | Post Made Community Wiki by Murph |