Revision as of 16:29, 12 July 2025 edit Marc Schroeder (talk \| contribs) Extended confirmed users 2,267 edits m →Implications and refinements ← Previous edit		Latest revision as of 19:58, 19 August 2025 edit undo Bender the Bot (talk \| contribs) Bots 1,064,377 edits m →References: HTTP to HTTPS for Cornell University Tag: AWB
Line 115: * {{cite conference \|last=Kosaraju \|first=S. Rao \|author-link=S. Rao Kosaraju\|title=Analysis of structured programs \|book-title=Proceedings of the Fifth Annual ACM Symposium on Theory of Computing \|date=May 1973 \|pages=240–252 \|publisher=ACM}},{{cite journal \|last=Kosaraju \|first=S. Rao \|author-mask=0\|title=Analysis of Structured Programs \|journal=Journal of Computer and System Sciences \|volume=9 \|issue=3 \|pages=232–255 \|year=1974 \|orig-year=1973\|doi=10.1016/S0022-0000(74)80043-7 }} * {{cite conference \|last1=Kozen \|first1=Dexter\|author1-link=Dexter Kozen\|last2=Tseng \|first2=Wei-Lung Dustin \|title=Mathematics of Program Construction – The Böhm–Jacopini Theorem is False, Propositionally \|url= ~~http~~https://www.cs.cornell.edu/~kozen/papers/bohmjacopini.pdf\|book-title=MPC 2008 \|series=Lecture Notes in Computer Science \|volume=5133 \|pages=177–192 \|year=2008 \|doi=10.1007/978-3-540-70594-9_11 \|isbn=978-3-540-70593-2 \|citeseerx=10.1.1.218.9241 }} * {{cite book \|last1=Louden \|first1=Kenneth C. \|last2=Lambert \|first2=Kenneth A. \|title=Programming Languages: Principles and Practices \|edition=3rd \|publisher=Cengage Learning \|year=2011 \|isbn=978-1-111-52941-3 }}

Structured program theorem: Difference between revisions