PROSA (Programmiersprache)
| PROSA | |
|---|---|
| Paradigmen: | imperativ, strukturiert |
| Erscheinungsjahr: | 1981 |
| Entwickler: | Jacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm |
| Typisierung: | stark, statisch |
| Beeinflusst von: | ALGOL, Pascal |
PROSA (PROgrammiersprache SAarbrücken) ist eine Mitte der 1980er Jahre von Jacques Loeckx, Kurt Mehlhorn und Reinhard Wilhelm an der Universität des Saarlandes in Saarbrücken entwickelte imperative Programmiersprache, deren Anwendung vor allem im Bereich der Lehre und der Analyse von Programmen liegt.[1]
Allgemeines
PROSA ist eine abgeleitete Form der Programmiersprache Pascal und somit auch von ALGOL. Aufgrund der einfachen Struktur und Lesbarkeit der Programme ist PROSA gut als Lehrsprache[2] für Einsteiger geeignet. Der Aufbau der Sprache und viele ihrer Konzepte sind in weiten Teilen sehr ähnlich zu Pascal, jedoch wurden aus Vereinfachungsgründen neue, in Pascal unbekannte Aspekte wie zum Beispiel dynamische oder verschachtelte Arrays eingebaut.[1]
Syntax
Hallo Welt
Ein Hallo-Welt-Programm in PROSA könnte so aussehen:
program Hallo_Welt;
begin
print "Hallo Welt";
end.
Variablen
Aufgrund der starken und statischen Typisierung muss jede Variable bereits bei ihrer Definition genau einen von fünf Datentypen besitzen.[1]
| Datentyp | Werte |
|---|---|
| int | Ganze Zahlen (0, 37, 5)
|
| real | Reelle Zahlen (0.0, 1.5, 37.25)
|
| char | Zeichen ('a', 'b', '+')
|
| string | Worte ("A", "PROSA", " ")
|
| bool | Wahrheitswerte (true, false)
|
Kontrollstrukturen
Bedingte Anweisungen
Für verzweigte Programmstrukturen werden if-then-else-Anweisungen verwendet.
if x >= 0.0 then print "Zahl ist positiv"
else print "Zahl ist negativ"
fi
Schleifen
PROSA besitzt im Gegensatz zu anderen Programmiersprachen wie ALGOL 60 oder Pascal nur while-Schleifen und keine do- oder for-Schleifen. Der Grund hierfür ist, dass die letzten beiden Schleifentypen als Spezialfälle der while-Schleife betrachtet werden können und durch diese in vielen Fällen substituierbar sind.[1][3]
program Schleifen;
var x, y: integer;
begin x := 0; y := 10;
while x < y do x := x + 1 od
end.
Verwendung
Hauptsächlich findet PROSA ihren Einsatz größtenteils an deutschsprachigen Universitäten,[2] da sie, aufgrund ihrer einfachen Struktur, sich nicht nur für Einsteiger eignet, sondern vor allem auch zur theoretischen Analyse von Programmeigenschaften wie Laufzeit und Termination.[1] Die einfache Grammatik der Sprache kann auch beim Testen von Compilern[4] oder als Grundlage für eigene, simple Programmiersprachen[5] verwendet werden.
Einzelnachweise
- ↑ a b c d e Jacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm: Grundlagen der Programmiersprachen. Springer-Verlag, 2013, ISBN 978-3-322-94706-2 (google.com [abgerufen am 30. Mai 2016]).
- ↑ a b Friedrich Otto: Die Programmiersprache ePROSA: Syntax, Kontextbedingungen und Semantik. (PDF) (Nicht mehr online verfügbar.) Archiviert vom Original am 30. Mai 2016; abgerufen am 30. Mai 2016. Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.
- ↑ The While programming language. (PDF) Abgerufen am 30. Mai 2016.
- ↑ Michael Eulenstein: Generierung portabler Compiler: Das portable System POCO. Springer-Verlag, 2013, ISBN 978-3-642-73431-1 (google.com [abgerufen am 30. Mai 2016]).
- ↑ Stefan Neis: Kurze Darstellung von Ordnungen. Abgerufen am 30. Mai 2016.
