products/sources/formale Sprachen/VDM/VDMPP/CodegenPP/Programs/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei:   Sprache: Unknown

rahmenlose Ansicht.simple DruckansichtShell {Shell[60] Fortran[72] Ada[75]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

function x() == 
 let x = 32,
  y = x + 9
 in
  let x = y + 1
  in x

[ Verzeichnis aufwärts0.40unsichere Verbindung  ]