( en | de | ru )

 

Disambiguierung von "Parkinson, Matthew J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SeLoger: A Tool for Graph-Based Reasoning in Separation Logic.

, , , und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 790-795. Springer, (2013)

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

UpgradeJ: Incremental Typechecking for Class Upgrades., , und . ECOOP, Volume 5142 von Lecture Notes in Computer Science, Seite 235-259. Springer, (2008)The Push/Pull model of transactions., und . PLDI, Seite 186-195. ACM, (2015)Concurrent Immediate Reference Counting (Abstract)., , , und . HOPC@SPAA, ACM, (2024)A Generic Logic for Proving Linearizability., , und . FM, Volume 9995 von Lecture Notes in Computer Science, Seite 426-443. (2016)Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types., , , und . ACM Trans. Program. Lang. Syst., 39 (3): 11:1-11:54 (2017)The Relationship between Separation Logic and Implicit Dynamic Frames., und . ESOP, Volume 6602 von Lecture Notes in Computer Science, Seite 439-458. Springer, (2011)Permission accounting in separation logic., , , und . POPL, Seite 259-270. ACM, (2005)When Concurrency Matters: Behaviour-Oriented Concurrency., , , , , , , und . Proc. ACM Program. Lang., 7 (OOPSLA2): 1531-1560 (Oktober 2023)Local reasoning for Java.. University of Cambridge, UK, (2006)British Library, EThOS.Simple, fast, and safe manual memory management., , , , , und . PLDI, Seite 233-247. ACM, (2017)