Login / Signup
Karoliine Holter
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Abstract Interpretation
Active Databases
Active Rules
Top Venues
CoRR
</>
Publications
</>
Julian Erhard
,
Simmo Saan
,
Sarah Tilscher
,
Michael Schwarz
,
Karoliine Holter
,
Vesal Vojdani
,
Helmut Seidl
Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap.
CoRR
(2022)