Rosa Castillo, Francisco Corbera, Angeles G. Navarro, Rafael Asenjo, Emilio L. Zapata. Complete Def-Use Analysis in Recursive Programs with Dynamic Data Structures. In Eduardo César, Michael Alexander, Achim Streit, Jesper Larsson Träff, Christophe Cérin, Andreas Knüpfer, Dieter Kranzlmüller, Shantenu Jha, editors, Euro-Par 2008 Workshops - Parallel Processing, VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers. Volume 5415 of Lecture Notes in Computer Science, pages 273-282, Springer, 2008. [doi]
@inproceedings{CastilloCNAZ08,
title = {Complete Def-Use Analysis in Recursive Programs with Dynamic Data Structures},
author = {Rosa Castillo and Francisco Corbera and Angeles G. Navarro and Rafael Asenjo and Emilio L. Zapata},
year = {2008},
doi = {10.1007/978-3-642-00955-6_32},
url = {http://dx.doi.org/10.1007/978-3-642-00955-6_32},
tags = {program analysis, completeness, analysis, data-flow programming, data-flow, data-flow analysis},
researchr = {https://researchr.org/publication/CastilloCNAZ08},
cites = {0},
citedby = {0},
pages = {273-282},
booktitle = {Euro-Par 2008 Workshops - Parallel Processing, VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers},
editor = {Eduardo César and Michael Alexander and Achim Streit and Jesper Larsson Träff and Christophe Cérin and Andreas Knüpfer and Dieter Kranzlmüller and Shantenu Jha},
volume = {5415},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-00954-9},
}