Login / Signup
Mads Christian Olesen
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Active Rules
Abstract Interpretation
Active Databases
Top Venues
Semantics, Logics, and Calculi
</>
Publications
</>
Mads Christian Olesen
,
René Rydhof Hansen
,
Kim Guldstrand Larsen
An Automata-Based Approach to Trace Partitioned Abstract Interpretation.
Semantics, Logics, and Calculi
(2016)