Christoph Karl Walter Grein

Öffentlicher Ada-Grundkurs Public Ada Basics Course Modern Lady Ada
Image created by
Christine Anderson
Diese Folien sind das Ergebnis vieler Ada-Grundkurse, die ich über die Jahre gehalten habe. These slides are the result of many Ada basics courses I held over the years.
Dieser Kurs verschafft einen umfassenden Einstieg in die Programmiersprache Ada. Voraussetzung ist Kenntnis einer höheren Programmiersprache. This course provides an extensive introduction into the programming language Ada. Prerequisite is knowledge of a higher programming language.
Ursprünglich war das ein einwöchiger Kurs, aber da die Zeitbeschränkung im Selbststudium wegfällt, sind einige Folien dazugekommen. Die zugehörigen mündlichen Erläuterungen sind leider und natürlicherweise nicht dabei. Ich hoffe jedoch, dass die Folien auch so aussagekrätig genug sind. Originally, it was a one-week course, but the slides have been augmented since there is no longer a time constraint for studying at home. Alas, the accompnying talk is, of course, not included. I however do hope the slides are enough meaningful by themselves.
Inhalt des Kurses Course Contents
  • Typkonzept an Hand ganzer Zahlen
    Strenge Typbindung
    Subtypen
    Benannte Zahlen
  • Zusammengesetzte Typen
    Reihungen und Verbunde
    Aggregate
  • Ausdrücke
  • Kontrollstrukturen
    Schleifen, bedingte Anweisungen, etc.
  • Unterprogramme
    Prozeduren und Funktionen
    Trennung von Spezifikation und Implementierung
    Parameterübergabe
    Rekursion
  • Aufzählungen
    Literale sind Funktionen
    Überladung
  • Pakete
    Kontraktmodell
    Strikte Trennung von Spezifikation und Implementierung
    Kontext-Klauseln und Sichtbarkeit
  • Ein-/Ausgabe
  • Vererbungslehre Ada 83
    Überschreiben ererbter Operationen
  • Schablonen
    Generische Parametertypen
  • Ausnahmen
  • Ausarbeitung (Elaboration)
    Elaborationskontrolle
  • Zeiger
    Zeigervermeidung durch Ada.Containers
    Zeiger und Adressen
    Speicherfreigabe
    Storage Pools
  • Repräsentationsklauseln
    Little Endian vs. Big Endian
  • Kontrakte Ada 2012
  • Annexe
  • Zum Abschluss:
    Vertiefende Betrachtung des Zahlenmodells
    Fallen mit Unchecked_Conversion
    Abstrakte Operationen und ihr Wiederauftauchen
  • Type concept exemplified with whole numbers
    Strong Typing
    Subtypes
    Named Numbers
  • Composite Types
    Arrays and Records
    Aggregates
  • Expressions
  • Control Structures
    Loops, Conditional Statements, etc.
  • Subprograms
    Procedures and Functions
    Separation of Specification and Implementation
    Parameter Transfer
    Recursion
  • Enumerations
    Literals are Functions
    Overloading
  • Packages
    Contract Model
    Strict separation of Specification and Implementation
    Use Clauses and Visibility
  • Input/Output
  • Ada 83 Inheritance Rules
    Overriding Inherited Operations
  • Generics
    Generic Parameter Types
  • Exceptions
  • Elaboration
    Elaboration Control
  • Access Types
    Avoidance of Access Types via Ada.Containers
    Access Types and Addresses
    Memory Deallocation
    Storage Pools
  • Representation Clauses
    Little Endian vs. Big Endian
  • Contracts Ada 2012
  • Annexes
  • As a conclusion:
    In-depth treatment of Ada's Numeric Model
    Pitfalls with Unchecked_Conversion
    Abstract Operations and their Re-emergence
Runterladen Download
Hier sind die Folien, weitere Dokumente, Kodefragmente und Musterlösungen der Aufgaben. Find here the slides, additional documents, code fragments and sample solutions of the exercises.
Deutsch English
© CKW Grein 2020

Valid HTML 4.0!