How to build static checking systems using orders of magnitude less code
Fraser Brown, Andres Nötzli, Dawson Engler[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems
ASPLOS '16
Atlanta, Georgia, USA
Association for Computing Machinery
New York, NY, USA
Pages 143-157
2016
ASPLOS '16
Atlanta, Georgia, USA
Association for Computing Machinery
New York, NY, USA
Pages 143-157
2016