Beendigung inBeendigung inhöherwertigen FunktionenProgrammbeendigungen.Neuer Rahmen verbessert die Analyse vonLogik in der InformatikAnalyse der Programmausführung mit LCSTRSsEin neues Framework zur Analyse der Termination in höherordentlichen Funktionen.2025-07-23T12:33:30+00:00 ― 7 min Lesedauer