Array length inference for C library bindings
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Aug 25, 2016
- Source ID
- 10.1145/2970276.2970310
Entities
People
- Alisa J. Maas
- Ben Liblit
- Henrique Nazaré
Organizations
- Coordenação de Aperfeicoamento de Pessoal de Nível Superior
- Defense Advanced Research Projects Agency
- Federal University of Minas Gerais
- National Council for Scientific and Technological Development
- National Science Foundation
- University of Wisconsin–Madison