Was sind die Unterschiede zwischen Semantiken in der Programmierung?

Die Semantik in der Programmierung definiert die Bedeutung und den Sinn der Sprachkonstruktionen. Die Unterschiede zeigen sich darin, wie die Sprache den Code interpretiert und ausführt.

Haupttypen der Semantik:

• Statische Semantik: Überprüft die Korrektheit des Programms vor der Ausführung, z.B. Datentypen und lexikalischer Gültigkeitsbereich. Fehler in der statischen Semantik werden in der Kompilierungsphase erkannt.
• Dynamische Semantik: Bestimmt, wie sich das Programm während der Ausführung verhält, einschließlich der Abfolge von Operationen, Speicherverwaltung und Fehlerbehandlung.
  • Operationale Semantik: Beschreibt die Ausführung des Programms durch eine Abfolge von Schritten einer abstrakten Maschine oder den Übergang von einem Zustand in einen anderen.
  • Denotationale Semantik: Verbindet Programmkonstruktionen mit mathematischen Objekten (z.B. Funktionen) und bietet eine abstrakte Definition der Bedeutung, die nicht von der Ausführung abhängt.
  • Axiomatische Semantik: Definiert Eigenschaften des Programms durch ein System logischer Axiome und Schlussregeln, häufig verwendet, um die Korrektheit von Programmen zu beweisen (z.B. mit Vor- und Nachbedingungen).

Beispiele für Unterschiede in der iOS-Entwicklung:

• ARC (Automatischer Referenzzähler): Dynamische Speicherverwaltung in Swift/Objective-C. Bestimmt, wann Objekte basierend auf Referenzen freigegeben werden.
• Protokolle und Erweiterungen in Swift: Beeinflussen die statische Semantik, ermöglichen das Hinzufügen von Funktionalitäten zu bestehenden Typen oder das Definieren von Verhaltensverträgen.
• Fehlerbehandlung (do-catch in Swift): Dynamische Semantik, die bestimmt, wie das Programm auf Fehler während der Ausführung reagiert.