%0 Conference Paper %1 conf/asplos/BrownNE16 %A Brown, Fraser %A Nötzli, Andres %A Engler, Dawson R. %B ASPLOS %D 2016 %E Conte, Tom %E Zhou, Yuanyuan %I ACM %K dblp %P 143-157 %T How to Build Static Checking Systems Using Orders of Magnitude Less Code. %U http://dblp.uni-trier.de/db/conf/asplos/asplos2016.html#BrownNE16 %@ 978-1-4503-4091-5

@inproceedings{conf/asplos/BrownNE16, added-at = {2021-07-07T00:00:00.000+0200}, author = {Brown, Fraser and Nötzli, Andres and Engler, Dawson R.}, biburl = {https://www.bibsonomy.org/bibtex/2e1ead0b83d0c299c2e2ab7c624f7d7db/dblp}, booktitle = {ASPLOS}, crossref = {conf/asplos/2016}, editor = {Conte, Tom and Zhou, Yuanyuan}, ee = {https://doi.org/10.1145/2980024.2872364}, interhash = {d4ed1985870e7692de91e7cec5bed584}, intrahash = {e1ead0b83d0c299c2e2ab7c624f7d7db}, isbn = {978-1-4503-4091-5}, keywords = {dblp}, pages = {143-157}, publisher = {ACM}, timestamp = {2024-04-10T01:55:40.000+0200}, title = {How to Build Static Checking Systems Using Orders of Magnitude Less Code.}, url = {http://dblp.uni-trier.de/db/conf/asplos/asplos2016.html#BrownNE16}, year = 2016 }