( en | de | ru )

 

Disambiguierung von "Rugina, Radu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning.

, und . VMCAI, Volume 4349 von Lecture Notes in Computer Science, Seite 234-250. Springer, (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Anghel Rugina

Adolf Radusch

Hans-Joachim Raduach

Florin Radu

Georgeta Radu

 

Weitere Publikationen von Autoren mit dem selben Namen

Design-Driven Compilation., und . CC, Volume 2027 von Lecture Notes in Computer Science, Seite 150-164. Springer, (2001)Compile-time deallocation of individual objects., und . ISMM, Seite 138-149. ACM, (2006)A Practical Escape and Effect Analysis for Building Lightweight Method Summaries., und . CC, Volume 4420 von Lecture Notes in Computer Science, Seite 172-186. Springer, (2007)Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning., und . VMCAI, Volume 4349 von Lecture Notes in Computer Science, Seite 234-250. Springer, (2007)Automatic Parallelization of Divide and Conquer Algorithms., und . PPoPP, Seite 72-83. ACM, (1999)Pointer Analysis for Multithreaded Programs., und . PLDI, Seite 77-90. ACM, (1999)Recursion Unrolling for Divide and Conquer Programs., und . LCPC, Volume 2017 von Lecture Notes in Computer Science, Seite 34-48. Springer, (2000)Compiler-Enhanced Incremental Checkpointing., , , und . LCPC, Volume 5234 von Lecture Notes in Computer Science, Seite 1-15. Springer, (2007)Uniqueness inference for compile-time object deallocation., und . ISMM, Seite 117-128. ACM, (2007)Practical memory leak detection using guarded value-flow analysis., , und . PLDI, Seite 480-491. ACM, (2007)