Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

products/Sources/formale Sprachen/PVS/complex_alt/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 28.9.2014 mit Größe 7 kB image not shown  

Quellcode-Bibliothek coproII.asm   Sprache: Masm

 
extrn    Ausgabe : FAR, Numin : FAR
         .MODEL Small
         .386
         .STACK 100h
         .DATA
EinAus   DD ?              
Konst    DD 4.189             ;Pi mal 4/3
Text     DB "Geben Sie den Radius ein: $"
Text2    DB "Kugelvolumen: $"
CR_LF    DB 10,13,"$"

         .CODE
Start:   mov  ax,@data     
         mov  ds,ax        ;DS initialisieren
         mov  ah,09h
         mov  dx,OFFSET Text
         int  21h          ;Text ausgeben
         xor  ecx,ecx
         call NumIn        ;Zahl einlesen
         mov  EinAus,ecx

         mov  dx,OFFSET CR_LF
         int  21h          ;Nächste Zeile

         fild EinAus       ;Ein auf Stack
         fld  ST           ;Wert von Ein nach ST(0)
         fmul              
         fild EinAus
         fmul
         fld  Konst
         fmul
         fistp EinAus      ;Ergebnis nach EinAus
         wait

         mov  ah,09h
         mov  dx,OFFSET Text2
         int  21h          ;Text ausgeben
         mov  eax,EinAus
         call Ausgabe      ;Ergebnis anzeigen

         mov  ah,4Ch
         int  21h          ;Programm beenden
         END Start

100%


¤ 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.0.12Bemerkung:  (vorverarbeitet)  ¤

*Bot Zugriff




Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

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 ist noch experimentell.