Amanote Research
Register
Sign In
Active Learning of Points-To Specifications
doi 10.1145/3192366.3192383
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2018
Authors
Osbert Bastani
Rahul Sharma
Alex Aiken
Percy Liang
Publisher
ACM Press