Dieses Buch führt durch die Entwicklung eines modularen Rahmens, der formale Semantik nutzt, um verifizierte Slicing‑Methoden zu erzeugen und damit sprachbasierte Sicherheitsmechanismen in Programmiersprachen systematisch zu gestalten.