(2012): Volumes 7200–7249 - Index of files in - University of Utah
(2012): Volumes 7200–7249 - Index of files in - University of Utah
(2012): Volumes 7200–7249 - Index of files in - University of Utah
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
REFERENCES 60<br />
ISSN 0302-9743 (pr<strong>in</strong>t), 1611-3349 (electronic). URL http://l<strong>in</strong>k.<br />
spr<strong>in</strong>ger.com/chapter/10.1007/978-3-642-28652-0_2/.<br />
Marron:<strong>2012</strong>:PPD<br />
[207] Mark Marron, Ondˇrej Lhoták, and An<strong>in</strong>dya Banerjee. Programm<strong>in</strong>g<br />
paradigm driven heap analysis. Lecture Notes <strong>in</strong> Computer Science, 7210:<br />
41–60, <strong>2012</strong>. CODEN LNCSD9. ISSN 0302-9743 (pr<strong>in</strong>t), 1611-3349<br />
(electronic). URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/chapter/10.1007/978-<br />
3-642-28652-0_3/.<br />
Putta:<strong>2012</strong>:PRB<br />
[208] Sandeep Putta and Rupesh Nasre. Parallel replication-based po<strong>in</strong>ts-to<br />
analysis. Lecture Notes <strong>in</strong> Computer Science, 7210:61–80, <strong>2012</strong>. CODEN<br />
LNCSD9. ISSN 0302-9743 (pr<strong>in</strong>t), 1611-3349 (electronic). URL http://<br />
l<strong>in</strong>k.spr<strong>in</strong>ger.com/chapter/10.1007/978-3-642-28652-0_4/.<br />
Hou:<strong>2012</strong>:NMP<br />
[209] Cong Hou, George Vulov, Daniel Qu<strong>in</strong>lan, David Jefferson, and Richard<br />
Fujimoto. A new method for program <strong>in</strong>version. Lecture Notes <strong>in</strong><br />
Computer Science, 7210:81–100, <strong>2012</strong>. CODEN LNCSD9. ISSN 0302-<br />
9743 (pr<strong>in</strong>t), 1611-3349 (electronic). URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/<br />
chapter/10.1007/978-3-642-28652-0_5/.<br />
Shirako:<strong>2012</strong>:ABO<br />
[210] Jun Shirako, Kamal Sharma, Nazn<strong>in</strong> Fauzia, Louis-Noël Pouchet, and<br />
J. Ramanujam. Analytical bounds for optimal tile size selection. Lecture<br />
Notes <strong>in</strong> Computer Science, 7210:101–121, <strong>2012</strong>. CODEN LNCSD9. ISSN<br />
0302-9743 (pr<strong>in</strong>t), 1611-3349 (electronic). URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.<br />
com/chapter/10.1007/978-3-642-28652-0_6/.<br />
Kwon:<strong>2012</strong>:SDU<br />
[211] Taeho Kwon and Zhendong Su. Static detection <strong>of</strong> unsafe component load<strong>in</strong>gs.<br />
Lecture Notes <strong>in</strong> Computer Science, 7210:122–143, <strong>2012</strong>. CODEN<br />
LNCSD9. ISSN 0302-9743 (pr<strong>in</strong>t), 1611-3349 (electronic). URL http://<br />
l<strong>in</strong>k.spr<strong>in</strong>ger.com/chapter/10.1007/978-3-642-28652-0_7/.<br />
Yang:<strong>2012</strong>:OMC<br />
[212] J<strong>in</strong>g Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivančić, Aarti<br />
Gupta, and Nishant S<strong>in</strong>ha. Object model construction for <strong>in</strong>heritance <strong>in</strong><br />
C++ and its applications to program analysis. Lecture Notes <strong>in</strong> Computer<br />
Science, 7210:144–164, <strong>2012</strong>. CODEN LNCSD9. ISSN 0302-9743 (pr<strong>in</strong>t),<br />
1611-3349 (electronic). URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/chapter/10.<br />
1007/978-3-642-28652-0_8/.