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