Now showing items 1-1 of 1

    • The Boehm-Jacopini Theorem is False, Propositionally 

      Kozen, Dexter; Tseng, Wei-Lung (Dustin) (2008-01-23)
      The Boehm-Jacopini theorem (Boehm and Jacopini, 1966) is a classical result of program schematology. It states that any deterministic flowchart program is equivalent to a while program. The theorem is usually formulated ...