Browse "RIMS Collection" by Subject languages

Showing results 1 to 2 of 2

1
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

2
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

Type

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0