Programming Persistent Memory
Keywords
- Persistent memory, programming guidelines, program analysis techniques, heap, concurrency, semantics, type systems, verification, data structures
Contacts
- Heike Wehrheim, Universität Oldenburg, Formale Methoden,
- Roland Meyer, TU Braunschweig, Theoretische Informatik,