Showing results 1 to 2 of 2
Efficient and precise array access analysis Paek., Yunheung; Hoeflinger, J; Padua, D, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.24, no.1, pp.65 - 109, 2002-01 |
Proofs About a Folklore Let-Polymorphic Type InferenceAlgorithm oukseh lee; kwangkeun yi, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.20, no.4, pp.707 - 723, 1998-07 |
Discover