products/Sources/formale Sprachen/Java/openjdk-20-36_src/src/demo/share/jfc/J2Ddemo/java2d/demos/Paths image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: test.v   Sprache: Coq

       identification division.
       program-id. p23.
      * aus Nipkow/Paulson/Wenzel
      * Isabelle/HOL
      * Springer 2002
       author"JD".
       date-written. 29.1.2009.
       date-compiled.
       data division.
       working-storage section.
        linkage section.
        77 m   pic 9(4).
        77 n   pic 9(4).
        77 r   pic X(8).
       procedure division using m n returning r.
         if (not (m<n)) and (m<n+1) then
           move "true" to r
          else
           move "false" to r
         end-if.
        end program p23.

[ zur Elbe Produktseite wechseln0.21Quellennavigators  Analyse erneut starten  ]