Hallo Hannes,
auf die Schnelle habe ich nichts finden können, aber beim Stacküberlauf ist es so, dass die Abbruchbedingung offensichtlich nicht erreicht wird. Wenn ich das richtig sehe soll die Rekursion aufhören, sobald l<2 ist. Wird diese Bedingung vielleicht nie erreicht?
Übrigens ist das pushen nach so kurzer Zeit nicht erwünscht.
Was soll denn wahr[i]=true logisch bedeuten? Ist der Platz dann noch frei oder schon besetzt?