Nutzung spezieller IKT-Werkzeuge zur Erstellung von Computercode, der die Berechnung als Auswertung mathematischer Funktionen behandelt und auf Zustände und Zustandsänderungen verzichtet. Verwenden von Programmiersprachen, die diese Methode unterstützen, wie LISP, PROLOG und Haskell.