Über die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei monadischen Programmen

Beim Bau von Ubersetzern fur ALGOL-ahnliche Programmiersprachen erfordert die Behandlung von Prozeduren einen besonderen Aufwand. Deswegen ist es wunschenswert, Algorithmen zu besitzen, die gewisse Eigenschaften von Programmen mit Prozeduren bereits zur Ubersetzungszeit entscheiden konnen, um so durch eine differenziertere Behandlung der Prozeduren unnotigen Aufwand einzusparen und effizientere Zielprogramme zu erzeugen. Zu diesen Eigenschaften gehoren z.B.