Definition:
- statisch: Analyse (+ Übersetzung) des Programmes
- dynamisch: Ausführung des Programmes
Eigenschaften:
- (Vor-)Arbeit zur Übersetzungszeit spart
(Nach-)Arbeit zur Laufzeit (Bsp: Typprüfungen,
Bereichsprüfungen, Initialisierungs-Prüfungen)
- statische Prüfungen sollen entscheidbar sein,
deswegen nicht für jede Programmeigenschaft
anwendbar (Sätze von Gödel/Church/Turing/Rice)
- Auswege: Compiler approximiert,
Programmierer hilft mit.
2010-02-04
