Ada/SPARK Tutorial

Artikel: 

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