Title: Partielle Auswertung imperativer Sprachen