• ... ist eine höhere imperative Programmiersprache.
• Programme werden als Funktionen definiert.
• Funktionen (Programme) können aufgerufen werden, sind aber nicht rekursiv.
• Argumente von Funktionen können nicht verändert werden (call by value).
• Es gibt nur lokale Variablen.
• Es gibt einen einzigen primitiven Datentyp: das Bit.
• Zusammengesetzte Typen sind Arrays und Tupel.
• Jede Variable wird mit ihrem Typ angegeben.
• Es gibt bedingte Befehle (IF-THEN-Befehl).
• Es gibt eine WHILE- und eine FOR-Schleife.
• Es gibt keinen GOTO-Befehl.

da kommt ihr doch nie drauf.

Der Plankalkül (PK) kann mit Hilfe moderner Terminologie wie folgt umrissen werden:
PK ist eine höhere imperative Programmiersprache.
Programme werden als Funktionen definiert.
Funktionen (Programme) können aufgerufen werden, sind aber nicht rekursiv.
Argumente von Funktionen können nicht verändert werden (call by value).
Es gibt nur lokale Variablen.
Es gibt einen einzigen primitiven Datentyp: das Bit.
Zusammengesetzte Typen sind Arrays und Tupel.
Jede Variable wird mit ihrem Typ angegeben.
Es gibt bedingte Befehle (IF-THEN-Befehl).
Es gibt eine WHILE- und eine FOR-Schleife.
Es gibt keinen GOTO-Befehl.

http://www.zib.de/zuse/Inhalt/Programme/Plankalkuel/Genese/Genese/Genese.htm