iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.dagstuhl.de/rec/conf/lcpc/MarronKSH06.rdf
Mark Marron et al.: A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework. (2006) conf/lcpc/MarronKSH06 10.1007/978-3-540-72521-3_25 A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework. 4 Mark Marron 1 Deepak Kapur 2 Darko Stefanovic 3 Manuel V. Hermenegildo 4 345-363 LCPC LCPC 2006 2007 provenance information for RDF data of dblp record 'conf/lcpc/MarronKSH06' 2017-06-04T10:06:43+0200