Third workshop on Semantics, Program Analysis, and computing Environments for memory management
Event name
Third workshop on Semantics, Program Analysis, and computing Environments for memory management
Start date
31-12-2005
Location
Charleston, South Carolina, USA
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Krall, Andreas ; Thalinger, Christian ; Ebner, Dietmar ; Brandner, Florian | Short Presentation: Static Verification of Global Heap References in Java Native Libraries | Konferenzbeitrag Inproceedings  | 2006 |