Wie können wir Programme entwerfen, die Unsicherheiten elegant behandeln? Dieses Papier stellt "geschützte Befehle" als grundlegende Bausteine für die Erstellung alternativer und sich wiederholender Konstrukte in nichtdeterministischen Programmkomponenten vor. Diese Befehle ermöglichen Programmaktivitäten, bei denen der Endzustand möglicherweise nicht eindeutig durch den Anfangszustand bestimmt wird. Der Kern der Arbeit liegt in der Vorstellung eines Kalküls für die formale Ableitung von Programmen, die mit diesen geschützten Befehlen ausgedrückt werden. Dieser Kalkül bietet einen strukturierten Ansatz für die Entwicklung und das Denken über nichtdeterministische Programme, wodurch die Klarheit und Zuverlässigkeit des Programms verbessert wird. Durch die Bereitstellung eines formalen Rahmens für Nichtdeterminismus trägt diese Forschung zur Weiterentwicklung von Programmentwurfsmethoden bei, insbesondere für Systeme, in denen Flexibilität und Anpassungsfähigkeit von entscheidender Bedeutung sind.
Diese in Communications of the ACM veröffentlichte Arbeit befasst sich mit Kernthemen der Informatik, die für die Leserschaft der Zeitschrift relevant sind. Angesichts des Schwerpunkts der Zeitschrift auf Fortschritten in der Computerprogrammierung und im Software Engineering stimmt die Einführung von geschützten Befehlen und einem Kalkül für nichtdeterministische Programme mit dem Schwerpunkt der Zeitschrift auf innovativen Programmiertechniken überein.