Paradigmen

• imperativ

  Programm ist Folge von Befehlen (= Zuständsänderungen)

• deklarativ (Programm ist Spezifikation)
  • funktional (Gleichungssystem)
  • logisch (logische Formel über Termen)
  • Constraint (log. F. über anderen Bereichen)

• objektorientiert (klassen- oder prototyp-basiert)

• nebenläufig (nichtdeterministisch, explizite Prozesse)

• (hoch) parallel (deterministisch, implizit)