Login / Signup
James Wasson
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Active Rules
Abstract Interpretation
Integrity Constraints
Top Venues
ACM SIGSOFT Softw. Eng. Notes
</>
Publications
</>
Joseph Jones
,
James Wasson
,
Sean Brown
,
Seth Poulsen
,
Peter Aldous
,
Eric Mercer
Memory safety in C by abstract interpretation.
ACM SIGSOFT Softw. Eng. Notes
43 (4) (2018)