Ada/SPARK Tutorial

Grundlagen:

Anmerkungen zum Anfang

Hallo Welt in Ada

if Verzweigung

case Verzweigung

Schleifen

Arrays

Enumeration

Records

Strings

Texteingabe und Ausgabe

Procedure und Function

Weiterführendes:

Typesystem

Tasks
Contracts