Login / Signup
James Ian Johnson
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 1
Top Topics
Abstract Interpretation
Active Databases
Dynamic Analysis
Control Structure
Top Venues
CoRR
DLS
</>
Publications
</>
James Ian Johnson
Automating Abstract Interpretation of Abstract Machines.
CoRR
(2015)
James Ian Johnson
,
David Van Horn
Abstracting abstract control.
DLS
(2014)