Vergleich Programmiersprachen

Die Syntax einer Programmiersprache beschreibt die gültigen Folgen von Zeichenketten. Die Syntax regelt also  die "Rechtschreibung" einer Programmiersprache. Sie lässt sich formal festlegen, z.B. mit Syntaxdiagrammen  oder in einer Grammatik. 

Die Semantik beschreibt, welche Bedeutung die einzelnen Sprachelemente der Syntaxdefinition besitzen. Die  Semantik wird in der Regel textuell beschrieben.

Die Backus Naur Form ist eine Variante von Syntaxdiagrammen.

Die Backus Nauer Form erlaubt nicht alle Verbindungen, hat strengere Auflagen. Deshalb ist jede EBNF als Syntaxdiagramm darstellbar, aber nicht umgekehrt.

• Eine EBNF besteht aus einer Liste von Produktionen.
• Jede Produktion beschreibt die Syntax eines bestimmten Grammatikfragmentes.
• Produktionen werden als eine Art Gleichungen geschrieben. Auf der linken Seite steht ein Name für das definierte Grammatikfragment, auf der rechten Seite eine Folge von Symbolen, die den Aufbau des Grammatikfragmentes festlegen.
• Zwischen linker und rechter Seite wird das Trennzeichen ::= gesetzt. 
• Das Ende einer Produktion wird mit einem Punkt gekennzeichnet, also schematisch: 

linke Seite ::= rechte Seite. 

Definition =

Aufzählung , 

Endezeichen  ;

Alternative |

Option [ … ]

Optionale Wiederholung { … }

Gruppierung ( … ) Anführungszeichen, 1. Variante " … "

Anführungszeichen, 2. Variante ' … '

Kommentar ("…")

Spezielle Sequenz  ? … ?

Ausnahme -

Der Quelltext des Programms wird vor der ersten Ausführung durch einen Compiler in Maschinencode übersetzt.

Beim Ausführen des compilierten Programms wird eine hohe Ausführungsgeschwindigkeit erreicht.

Während des Compilierens wird der Quelltext durch den Compiler auf syntaktische Fehleruntersucht.

Compilierte Sprachen sind meistens typsicher.

Vertreter: C, C++, Smalltalk, Objective-C

Der Quelltext des Programms wird zur Laufzeit von einem Interpreter eingelesen und Anweisung für Anweisung abgearbeitet

Dei Ausführung eines interpretierten Programms ist langsamer als diejenige eines compilierten Programms.

Bei kleinen Programmen kann bei kleinen Programmen auf den Edit-Compile-Test-Zyklus verzichtet werden.

Der Interpreter überwacht die Ausführung des Programms während der Laufzeit.

Vertreter: VBA, ASP, JavaScript, LISP, MATLAB 

Moderne Programmiersprachen wie z.B. Java oder C# compilieren das auszuführende Programm zunächst in einen Zwischencode (bei Java «Bytecode», in .NET IML genannt), der zur Laufzeit durch einen Interpreter in Form einer virtuellen Maschine ausgeführt wird. In Java werden zur Laufzeit so genannte „Hotspots“ (häufig benutzte Programmsegmente) erkannt und während des Programmlaufs in ein Maschinenprogramm übersetzt. Dadurch können Java-Programme eine – verglichen zu compilierten Programmen – ebenfalls gute Performance erreichen. 

 Die Java Virtual Machine (abgekürzt Java VM oder JVM) ist Teil der Java-Laufzeitumgebung (JRE)  • Die JVM ist für die Ausführung des Java-Bytecodes verantwortlich  • Die JVM dient als Schnittstelle zur Maschine und zum Betriebssystem und ist für die meisten Plattformen verfügbar (z.B. Linux, Mac, Solaris, Windows, usw.)  • Die JVM selbst ist oft in C und/oder C++ geschrieben  

Ab 1941.

Als Sprachen der 1. Generation werden die Maschinensprachen bezeichnet.  Anweisungen werden binär (mit 0 oder 1) oder hexadezimal codiert.  Der Code kann vom Prozessor ohne vorhergehende Umwandlung durch einen Assembler oder Compiler abgearbeitet werden. Erlaubt die Erstellung von Effizientem und schnellem Code.  Schwierige Fehlersuche.  Aufwändige Programmierung, da jede Maschinenanweisung einzeln programmiert werden muss.  Auf spezifische Maschinen und CPU‘s zugeschnitten und deshalb nicht portierbar. 

1949/1952 

Als Sprachen der 2. Generation werden die Assemblersprachen bezeichnet.  Anstelle von binärem Code werden Mnemonische Symbole verwendet.  Von Menschen lesbarer Code.  Der Assemblercode wird von einem Assembler in Maschinencode umgewandelt.  Computer und CPU spezifisch und somit nicht portierbar.  Leichteres Debugging im Vergleich zu Maschinencode.  Erlaubt bereits Makro- und Strukturierte Programmierung.  Wird in der Regel bei Performancekritischen Anwendungen verwendet.  

1952/1957 

• Sprachen der 3. Generation werden auch als Höhere Programmiersprachen bezeichnet.   • Syntax weist Ähnlichkeit zur menschlichen Sprache auf (Grammatik). • Zu den 3GL Sprachen werden die problemorientierten / imperativen Sprachen gezählt.  • Code einer 3GL Programmiersprache beschreibt die Problemlösung mittels Algorithmen.  • Der Code wird mittels eines Compilers in Maschinencode umgewandelt oder zur Laufzeit durch einen Interpreter ausgeführt.  • Einführung von Kontrollstrukturen, Befehlen, Variablennamen, Subroutinen. 

 1970 

1972

• Programmiersprachen mit der Prämisse dass ein Problem gelöst werden kann, und eine Applikation dafür gebaut werden kann, in dem man die für die Lösung notwendigen Bedingungen und Einschränkungen logisch  beschreibt.  • Die Eigenschaften einer zu erreichende Lösung werden logisch beschrieben und das System erzeugt danach die für die Problemlösung geeigneten Algorithmen.  • Anwendungsbereich: Artifizielle Intelligenz. 

Als Programmierparadigma einer Programmiersprache bezeichnet man die Sichtweise auf und den Umgang mit den zu verarbeitenden Daten und Operationen. 

Abfolge von Befehlen

Kontrollstrukturen (Folge, Auswahl, Wiederholung)

Aufruf von Unterprogrammen und das Durchleiten und die Rückgabe von Parameterwerten

Programme in kleinere Teilaufgaben aufzuspalten

+Leicht verständlich

+Einfache Lösungen mit geringem Aufwand umsetzbar

- Umfangreiche Applikationen schwer übersichtlich

Basiert auf Klassen und Objekten

Die Prgrammlogik ist in Methoden abgebildet

Ein Objekt kapselt Daten und Methoden

Unterstützung von Vererbungsmechanismen, Polymorphie

Vorteile: 

+Wiederverwendbarkeit ist sehr hoch

+Übersichtlichkeit und Granularität sind hoch

+Probleme lassen sich aus dem Verständnis der realen Welt lösen

- Ein schlechtes Design kann grossen Schaden anrichten

- hoher Initialaufwand für die Architektur

Programme bestehen ausschliesslich aus Funktionen

Die Programmlogik ergibt sich aus den funktionalen Zusammenhängen

Fehlen von imperativen Sprachelementen

+ Wenige, einfache, transparente Befehle

+ Ergibt kurzen und prägnanten Code

- Lernkurve ziemlich steil 

- geringe Verbreitung

Imperative Programmierung ist ein Programmierparadigma. Danach werden Programme so entwickelt, dass „ein Programm (Anm.: der Quellcode) aus einer Folge von Anweisungen besteht, die vorgeben, in welcher Reihenfolge was vom Computer getan werden soll. Die Bezeichnung geht auf lateinisch 'imperare' = 'anordnen, befehlen' zurück.

Die deklarative Programmierung ist ein Programmierparadigma, bei dem die Beschreibung des Problems im Vordergrund steht. Der Lösungsweg wird dann automatisch ermittelt.