
Programming Languages: Theory and Practice
Eine Programmiersprache bezieht sich auf eine Reihe von Regeln zur Umwandlung von Zeichenketten oder grafischen Programmelementen in verschiedene Arten von Maschinencode-Ausgaben.
Sie werden verwendet, um Algorithmen in der Computerprogrammierung zu implementieren. Die Beschreibung einer Programmiersprache ist in der Regel in zwei Komponenten unterteilt, die Semantik und Syntax, die normalerweise durch eine formale Sprache definiert werden.
Das Spezifikationsdokument definiert in bestimmten Fällen die Programmiersprache, während einige Sprachen eine dominante Implementierung haben, die als Referenz behandelt wird. Einige Sprachen haben beides, wobei die Basissprache durch einen Standard definiert ist und Erweiterungen von der dominanten Implementierung abgeleitet werden. Die Theorie der Programmiersprachen ist eine Teildisziplin der Informatik, die sich mit dem Entwurf, der Implementierung, der Charakterisierung, der Entwicklung, der Analyse und der Kategorisierung von Programmiersprachen beschäftigt.
Dieses Buch ist eine wertvolle Zusammenstellung von Themen, die von den grundlegenden bis zu den komplexesten Fortschritten im Zusammenhang mit den theoretischen und praktischen Aspekten von Programmiersprachen reichen. Es eignet sich sowohl für Studenten, die detaillierte Informationen in diesem Bereich der Informatik suchen, als auch für Experten.