Nächste Seite:
Formen der deklarative Programmierung
Aufwärts:
Deklarative (= fortgeschrittene) Programmierung
Vorherige Seite:
Deklarative (= fortgeschrittene) Programmierung
Einleitung
Unterabschnitte
Formen der deklarative Programmierung
Definition
Softwaretechnische Vorteile
Beispiel Spezifikation/Test
Beispiel Verifikation
Beispiel Parallelisierung
Deklarative Programmierung in der Lehre
Konzepte und Sprachen
Gliederung der Vorlesung
Softwaretechnische Aspekte
Organisation der LV
Literatur
Übungen KW11
Johannes Waldmann 2012-06-25
