https://hackerpaper.kaipfister.de/p/1109.5416/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=32617344urn:hackerpapers:mention:1109.5416:32617344Sat, 27 Aug 2022 09:39:16 GMT<p>&gt; there may really be a finite set of [control structures] Kleene Algebras (which compose via sequencing, choice, and repetition) map so well to sequential programming that I currently believe, yeah, we have them[0]: - cf &#x27;;&#x27;, case, and while - Hoare triples map nicely into a Kleene Algebra. I suspect the rise of structured programming tanked adoption of formal methods, because informal methods sufficed, where they may not have had we continued with spaghetti coding. - matrices/graphs of Kleene Algebras also form a Kleene Algebra, so the state machine[2] a &quot;structured program&quot; compiles down…</p><p><a href="https://hackerpaper.kaipfister.de/p/1109.5416/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PL