Wagemann, F.F.Wagemann2022-03-062022-03-061995https://publica.fraunhofer.de/handle/publica/272289de004Inkrementelle analytische und konstruktive Sicherstellung von Korrektheitsbedingungen in dem syntaxgesteuerten Editor PILSdiploma thesis