Ein Sammelband aus dem SAIG‑2001 Workshop in Florenz, der sich mit semantischer Analyse, Programmgenerierung und deren Umsetzung beschäftigt; enthält theoretische Modelle, praxisnahe Algorithmen und Implementierungsstudien für Compilerdesign.