( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verifying Commit-Atomicity Using Model-Checking.

. SPIN, том 2989 из Lecture Notes in Computer Science, стр. 252-266. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

No persons found for author name Flanagan, Cormac
add a person with the name Flanagan, Cormac
 

Другие публикации лиц с тем же именем

Space-efficient gradual typing., , и . High. Order Symb. Comput., 23 (2): 167-189 (2010)Using Precise Taint Tracking for Auto-sanitization., , и . PLAS@CCS, стр. 15-24. ACM, (2017)The RoadRunner dynamic analysis framework for concurrent programs., и . PASTE, стр. 1-8. ACM, (2010)A Modular Checker for Multithreaded Programs., , и . CAV, том 2404 из Lecture Notes in Computer Science, стр. 180-194. Springer, (2002)Verifying Commit-Atomicity Using Model-Checking.. SPIN, том 2989 из Lecture Notes in Computer Science, стр. 252-266. Springer, (2004)Type inference for atomicity., , и . TLDI, стр. 47-58. ACM, (2005)Temporal higher-order contracts., , и . ICFP, стр. 176-188. ACM, (2011)The essence of compiling with continuations (with retrospective), , , и . Best of PLDI, стр. 502-514. ACM, (1993)Static Debugging: Browsing the Web of Program Invariants., , , , и . PLDI, стр. 23-32. ACM, (1996)Modular verification of multithreaded programs., , , и . Theor. Comput. Sci., 338 (1-3): 153-183 (2005)