formal-semantics

In der Programmiersprachentheorie ist die Semantik das Feld, das sich mit der rigorosen mathematischen Erforschung der Bedeutung von Programmiersprachen beschäftigt. Dies geschieht durch Auswertung der Bedeutung von syntaktisch legalen Strings, die durch eine spezifische Programmiersprache definiert sind, und zeigt die involvierte Berechnung. In einem solchen Fall, in dem die Auswertung von syntaktisch unzulässigen Strings wäre, wäre das Ergebnis eine Nicht-Berechnung.