Formale Eigenschaften von Programmen (1)