000003980 001__ 3980 000003980 005__ 20231206121112.0 000003980 0247_ $$2DOI$$a10.6083/hq37vn90n 000003980 037__ $$aIR 000003980 245__ $$aDetecting induction variables using SSA form 000003980 269__ $$a1993 000003980 336__ $$aArticle 000003980 520__ $$acse-93-014 000003980 540__ $$fCC BY 000003980 542__ $$fIn copyright - single owner 000003980 691__ $$aOregon Graduate Institute 000003980 7001_ $$aGerlek, Michael P. 000003980 8564_ $$9dab05208-12c6-48e1-9353-8d2e9ed53c58$$s840545$$uhttps://digitalcollections.ohsu.edu/record/3980/files/csetech-297.pdf 000003980 905__ $$a/rest/prod/hq/37/vn/90/hq37vn90n 000003980 980__ $$aScholars Archive