Number of items: 2.
Article
Marron, Mark and Hermenegildo Salinas, Manuel Vicente and Kapur, Deepak and Stefanovic, Darko (2008) Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. Lecture Notes In Computer Science, 4959 . 245- 259. ISSN 0302-9743
Presentation at Congress or Day
Marron, Mark and Stefanovic, Darko and Kapur, Deepak and Hermenegildo Salinas, Manuel Vicente (2008) Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. In: 21th international workshop, Languages and compilers for parallel computing, LCPC 2008, 31/07/2008-02/08/2008, Edmonton, Alberta, Canadá.
This list was generated on Sat May 26 01:44:00 2012 CEST.