| Title | How to Build Static Checking Systems Using Orders of Magnitude Less Code |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Brown, Fraser, Nötzli, Andres, Engler, Dawson |
| Conference Name | Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems |
| Publisher | ACM |
| Conference Location | Atlanta, Georgia, USA |
| ISBN Number | 978-1-4503-4091-5 |
| Keywords | 1505684, bug finding, micro-grammars, parsing, static analysis |
| URL | http://doi.acm.org/10.1145/2872362.2872364 |
| DOI | 10.1145/2872362.2872364 |
| Citation Key | Brown:2016:BSC:2872362.2872364 |
How to Build Static Checking Systems Using Orders of Magnitude Less Code