...
机译:使用观察序列的移植内容无界面的程序分析
Northeastern Univ Khoury Coll Comp Sci 360 Huntington Ave Boston MA 02115 USA;
Northeastern Univ Khoury Coll Comp Sci 360 Huntington Ave Boston MA 02115 USA;
Univ Wisconsin Comp Sci Dept 1210 West Dayton St Madison WI 53706 USA;
Interprocedural analysis; context bound; concurrency; recursion; stack;