Softwareentwicklung in C - ASC

2.2 Programmiersprachen 9
Semantik
Die Semantik beschäftigt sich mit der Bedeutung einzelner Sprachkonstrukte.
Nehmen wir als kleines Beispiel ein Programm-Schnipsel in C:
int a_number;
a_number = 17;
Vorerst ist dieser Text eine sinnleere Folge von Zeichen, die der Syntaxdefinition
von C entspricht. Um nun die Bedeutung herauszufinden, muss man
wissen, was die einzelnen Zeichen und Worte besagen. Dies wird durch die
Semantikdefinition von C festgelegt. Diese besagt z.B., dass das Wort int
ein reservierter Bezeichner für den Datentyp Integer ist, der für einen ganzzahligen
Wert steht.
Außerdem besagt die Semantikdefinition, dass eine Folge von zwei Worten,
von denen das erste ein solcher Bezeichner ist, eine Variablen-Deklaration
und -Definition ist. Weiters hat das Zeichen ’=’ die Bedeutung einer Zuweisung:
Der Wert, der rechts von ’=’ steht, wird einer Variable zugewiesen,
die links von ’=’ steht. Mit dem Wissen um die Bedeutungen der einzelnen
Konstrukte kann man nun die Gesamtbedeutung des Programm-Schnipsels
herausfinden.
Auch hier sei der Vollständigkeit halber angemerkt, dass Semantikdefinitionen
üblicherweise durch besondere formale Darstellungen beschrieben
werden.
2.2 Programmiersprachen
Der Begriff Programmiersprache bezeichnet ganz allgemein eine Sprache zur
Formulierung von Rechenvorschriften für einen Computer. Die Sprache ist
durch ihre Syntax und Semantik eindeutig definiert. Natürlich stellt die
Definition des Begriffs der Programmiersprache nicht wirklich eine weltbewegende
Neuigkeit dar. Der Grund, warum diese Definition dennoch hier in die
Erklärung aufgenommen wurde, ist folgender:
Programmiersprachen werden nach verschiedenen Kriterien klassifiziert, die
nicht selten verwechselt und miteinander vermischt werden. Die gängigsten
Arten der Klassifikation werden in der Folge kurz besprochen.
2.2.1 Klassifikation nach Hardwarenähe
Eines der Kriterien, nach denen man Programmiersprachen klassifizieren
kann, ist ihre Nähe zur Hardware. Dabei ist entscheidend, ob der Sprachumfang
so ausgelegt ist, dass er der internen Arbeitsweise eines ganz bestimmten
Prozessors entspricht oder nicht. Nach diesem Kriterium unterscheidet man
niedrige und höhere Programmiersprachen.