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
]
|