Ada - Christoph Karl Walter Grein

Christoph Karl Walter Grein

Öffentlicher Ada-Grundkurs	Public Ada Basics Course	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

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