Er ist syntaktisch exakt beschrieben in einer Befehlssprache, deren Semantik auf eine Struktur von Operationen auf Mengen von Werten von Objekten abbildet. Zu exakten Konstruktionen in der Informatik benötigt man natürlich auch Grundelemente der exakten Wissenschaft par excellence, nämlich der Mathe matik.