Side Effects in Steering Fragments, Fachbücher von Lars Wortel

"Side Effects in Steering Fragments" ist ein Fachbuch, das sich mit dem Phänomen der Nebenwirkungen in der Programmierung beschäftigt. Es wird eine formale Definition von Nebenwirkungen vorgestellt, die in der Programmierpraxis oft intuitiv verstanden, jedoch selten präzise erfasst wird. Der Autor, Lars Wortel, untersucht die Veränderungen im Zustand eines Programms oder Modells, die über die ursprünglich beabsichtigte Wirkung hinausgehen. Durch die Modifikation eines bestehenden Modells, der Quantified Dynamic Logic (QDL), wird ein neues System namens Dynamic Logic with Assignments as Formulas (DLAf) entwickelt. Dieses System ermöglicht es, Zuweisungen in Formeln zu integrieren und nutzt die Kurzschlussauswertung. Das Buch bietet nicht nur eine Definition und Klassifikation von Nebenwirkungen, sondern eröffnet auch neue Forschungsansätze und Anwendungsmöglichkeiten in der Programmierindustrie.