Szabó, Tamás2021-02-162021-02-162021https://openscience.ub.uni-mainz.de/handle/20.500.12030/5617engInC-1.0https://rightsstatements.org/vocab/InC/1.0/004 Informatik004 Data processing600 Technik600 Technology (Applied sciences)Incrementalizing Static Analyses in DatalogDissertationxiii, 199 Seiten