( en | de | ru )

 

Disambiguierung von "Flanagan, Cormac"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
FastTrack: efficient and precise dynamic race detection.

, und . PLDI, Seite 121-133. ACM, (2009)

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.

Keine Personen gefunden für den Autorennamen Flanagan, Cormac
Eine Person hinzufügen mit dem Namen Flanagan, Cormac
 

Weitere Publikationen von Autoren mit dem selben Namen

Space-efficient gradual typing., , und . High. Order Symb. Comput., 23 (2): 167-189 (2010)Type inference for atomicity., , und . TLDI, Seite 47-58. ACM, (2005)The RoadRunner dynamic analysis framework for concurrent programs., und . PASTE, Seite 1-8. ACM, (2010)Verifying Commit-Atomicity Using Model-Checking.. SPIN, Volume 2989 von Lecture Notes in Computer Science, Seite 252-266. Springer, (2004)A Modular Checker for Multithreaded Programs., , und . CAV, Volume 2404 von Lecture Notes in Computer Science, Seite 180-194. Springer, (2002)Modular verification of multithreaded programs., , , und . Theor. Comput. Sci., 338 (1-3): 153-183 (2005)Transactions for Software Model Checking., und . SoftMC@CAV, Volume 89 von Electronic Notes in Theoretical Computer Science, Seite 518-539. Elsevier, (2003)Multiple facets for dynamic information flow., und . POPL, Seite 165-178. ACM, (2012)The essence of compiling with continuations (with retrospective), , , and . Best of PLDI, page 502-514. ACM, (1993)Static Debugging: Browsing the Web of Program Invariants., , , , and . PLDI, page 23-32. ACM, (1996)