Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 Brown:2016:BSC:2954679.2872364
%A Brown, Fraser
%A Nötzli, Andres
%A Engler, Dawson
%C New York, NY, USA
%D 2016
%I ACM
%J SIGPLAN Not.
%K design program static.checking syntax
%N 4
%P 143--157
%R 10.1145/2954679.2872364
%T How to Build Static Checking Systems Using Orders of Magnitude Less Code
%U http://doi.acm.org/10.1145/2954679.2872364
%V 51
@article{Brown:2016:BSC:2954679.2872364,
acmid = {2872364},
added-at = {2017-06-28T09:42:16.000+0200},
address = {New York, NY, USA},
author = {Brown, Fraser and N\"{o}tzli, Andres and Engler, Dawson},
biburl = {https://www.bibsonomy.org/bibtex/28b9d6d1a5a07dc93be9e90a5dabca61e/ji},
description = {How to Build Static Checking Systems Using Orders of Magnitude Less Code},
doi = {10.1145/2954679.2872364},
interhash = {858edcb04bbc0d1fa00b0ba226a9466d},
intrahash = {8b9d6d1a5a07dc93be9e90a5dabca61e},
issn = {0362-1340},
issue_date = {April 2016},
journal = {SIGPLAN Not.},
keywords = {design program static.checking syntax},
month = mar,
number = 4,
numpages = {15},
pages = {143--157},
publisher = {ACM},
timestamp = {2017-06-28T09:42:16.000+0200},
title = {How to Build Static Checking Systems Using Orders of Magnitude Less Code},
url = {http://doi.acm.org/10.1145/2954679.2872364},
volume = 51,
year = 2016
}