Inkrementalisierung Statischer Analysen in Datalog

Tamás Szabó. Inkrementalisierung Statischer Analysen in Datalog. In Steffen Hölldobler, editor, Ausgezeichnete Informatikdissertationen 2021. Volume D-22 of LNI, pages 271-280, GI, 2021. [doi]

Abstract

Abstract is missing.