External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

How to Build Static Checking Systems Using Orders of Magnitude Less Code

Fraser Brown, Andres Nötzli, Dawson R. Engler. How to Build Static Checking Systems Using Orders of Magnitude Less Code. In Tom Conte, Yuanyuan Zhou, editors, Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '16, Atlanta, GA, USA, April 2-6, 2016. pages 143-157, ACM, 2016. [doi]

Authors

Fraser Brown

This author has not been identified. Look up 'Fraser Brown' in Google

Andres Nötzli

This author has not been identified. Look up 'Andres Nötzli' in Google

Dawson R. Engler

This author has not been identified. Look up 'Dawson R. Engler' in Google
runs on