Title: Syntaxgerichtete Übersetzung und Typüberprüfung bei Computern