Transfinite structured programming

DOI10.1007/978-3-031-95908-0_12MaRDI QIDQ6897655zbMATH OpenFDO

Authors Siddharth Bhaskar

Publication date 19 November 2025

Full work available at URL https://doi.org/10.1007/978-3-031-95908-0_12

zbMATH Keywords

programming language semanticsstructured programmingtransfinite computation

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• Discrete transfinite computation
• Flow diagrams, turing machines and languages with only two formation rules
• Infinite time Turing machines
• Minimality considerations for ordinal computers modeling constructibility
• Ordinal computability. An introduction to infinitary machines
• Register computations on ordinals
• Turing Computations On Ordinals

This page was built for publication: Transfinite structured programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6897655)