- alle interessanten Programmeigenschaften sind unentscheidbar
- Automatische Quelltextanalyse ist unmöglich.
- Programmierer muß die interessanten Programmeigenschaften
(Korrektheit, Laufzeit) selbst beweisen.
- dafür gibt es Sprach- und Werkzeugunterstützung,
aber die wesentliche Arbeit bleibt
Johannes Waldmann
2008-06-18