abbreviation gcd_prog :: "int ==> int ==> gcd_ss hrel"where "gcd_prog X Y ≡ x := «X¬ ;; y := «Y¬ ;; while ¬ (x = y) invr x > 0 ∧ y > 0 ∧ gcd(x,y) = gcd(«X¬, «Y¬) do if x > y then x := x - y else y := y - x fi od"
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
