UNITY (Programming Language), Fachbücher von Lennox Raphael Eyvindr

UNITY ist eine theoretische Programmiersprache, die von K. Mani Chandy und Jayadev Misra entwickelt wurde. Sie wurde in ihrem Buch "Parallel Program Design: A Foundation" vorgestellt und zeichnet sich durch ihren einzigartigen Ansatz aus, der sich auf das "Was" konzentriert, anstatt auf das "Wo", "Wann" oder "Wie". Ein bemerkenswertes Merkmal von UNITY ist das Fehlen von Kontrollstrukturen, was bedeutet, dass die Anweisungen in einem Programm in zufälliger Reihenfolge ausgeführt werden, bis keine weiteren Änderungen mehr möglich sind. Diese Eigenschaft ermöglicht die Erstellung von Programmen, die sowohl unendlich laufen können, wie etwa in automatisierten Systemen oder Sicherheitsanwendungen, als auch Programme, die normalerweise enden würden, hier jedoch zu einem festen Punkt konvergieren. Die theoretische Natur der Sprache macht sie zu einem interessanten Studienobjekt für Fachleute und Studierende im Bereich der Informatik und Programmierung.