Form und Funktion

Programmiersprachen dienen der informationsverarbeitung und richten sich deshalb in Form und Funktion als Sprache an die Struktur und Bedeutung von information. Die genauere linguistische Betrachtung dieser Aspekte ist Aufgabe der Semiotik.

Es sind jedoch auch andere Repräsentationen von Programmiersprachen denkbar. Der Quelltext besteht aus Wörtern und Trennzeichen, ganz ähnlich zu geschriebenen natürlichen sprachen. Die meisten Programmiersprachen sind textbasiert.Die äußere Form, in der sich eine Programmiersprache dem Programmierer repräsentiert, bezeichnet man als Syntax. So werden häufig zur Gestaltung von graphischen Benutzerschnittstellen visuelle Symbole verwendet. Ähnlich zu einem Notenblatt in der Musik ergibt sich aus den einzelnen Symbolen mit ihren individuellen Bedeutungen ein Dokument, das eine Gesamtheit beschreibt.

Syntax und Semantik kann man der Spezifikation, teilweise auch der Dokumentation der Programmiersprache entnehmen.Die Bedeutung eines speziellen Symbols in einer Programmiersprache nennt man dessen Semantik. Die syntaktische Definition einer Sprache wird meist in der formalen Notation Backus-Naur-Form angegeben. Eine vollständig formal semantische Spezifikation einer Programmiersprache in einem einzigen Kalkül ist gegenwärtig Forschungsgegenstand.

Die softwaretechnik hilft dabei dem Programmierer diesen Zweck eines Computerprogramms zu realisieren. Mit dem Analogon des Notenblatts beschrieben, beabsichtigte der Komponist beispielsweise eine Hymne oder einen Popsong zu schaffen.Die Intention des Programmierers über die Gesamtheit des Computerprogramms nennt man Pragmatik.