( en | de | ru )

 

Disambiguierung von "Parkinson, Matthew J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Uniqueness and reference immutability for safe parallelism.

, , , , und . OOPSLA, Seite 21-40. ACM, (2012)

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.

Edward Parkinson

Richard B Parkinson

Stanley R. Parkinson

Matthew Mellon

Matthew David

 

Weitere Publikationen von Autoren mit dem selben Namen

A Generic Logic for Proving Linearizability (Extended Version)., , und . CoRR, (2016)From Java To UpgradeJ: An Empirical Study., , , und . HotSWUp, ACM, (2008)Separation Logic for Object-Oriented Programming., und . Aliasing in Object-Oriented Programming, Volume 7850 von Lecture Notes in Computer Science, Springer, (2013)Reference Capabilities for Flexible Memory Management., , , , , , und . Proc. ACM Program. Lang., 7 (OOPSLA2): 1363-1393 (Oktober 2023)The Next 700 Separation Logics - (Invited Paper).. VSTTE, Volume 6217 von Lecture Notes in Computer Science, Seite 169-182. Springer, (2010)snmalloc: a message passing allocator., , , , , , , , und . ISMM, Seite 122-135. ACM, (2019)Wait-Free Weak Reference Counting., , und . ISMM, Seite 85-96. ACM, (2023)Separation logic, abstraction and inheritance., und . POPL, Seite 75-86. ACM, (2008)Modular verification of a non-blocking stack., , und . POPL, Seite 297-302. ACM, (2007)The Relationship between Separation Logic and Implicit Dynamic Frames., und . ESOP, Volume 6602 von Lecture Notes in Computer Science, Seite 439-458. Springer, (2011)