Type Inference for C: Applications to the Static Analysis of Incomplete Programs.
Autor: | MELO, LEANDRO T. C.1, RIBEIRO, RODRIGO G.2, GUIMARÃES, BRENO C. F.1, QUINTÃO PEREIRA, FERNANDO MAGNO1 rodrigo@decsi.ufop.br |
---|---|
Zdroj: | ACM Transactions on Programming Languages & Systems. Nov2020, Vol. 42 Issue 3, p1-71. 71p. |
Databáze: | Business Source Ultimate |
Externí odkaz: |