( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Type Inference Against Races.

, и . SAS, том 3148 из Lecture Notes in Computer Science, стр. 116-132. 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
 

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

Automatic type inference via partial evaluation., и . PPDP, стр. 106-116. ACM, (2005)Effects for cooperable and serializable threads., и . TLDI, стр. 3-14. ACM, (2010)Extending JML for Modular Specification and Verification of Multi-threaded Programs., , , , , и . ECOOP, том 3586 из Lecture Notes in Computer Science, стр. 551-576. Springer, (2005)Cartesian Partial-Order Reduction., , , и . SPIN, том 4595 из Lecture Notes in Computer Science, стр. 95-112. Springer, (2007)Types for Safe Locking., и . ESOP, том 1576 из Lecture Notes in Computer Science, стр. 91-108. Springer, (1999)Thread-Modular Verification for Shared-Memory Programs., , и . ESOP, том 2305 из Lecture Notes in Computer Science, стр. 262-277. Springer, (2002)Type Inference Against Races., и . SAS, том 3148 из Lecture Notes in Computer Science, стр. 116-132. Springer, (2004)Houdini, an Annotation Assistant for ESC/Java., и . FME, том 2021 из Lecture Notes in Computer Science, стр. 500-517. Springer, (2001)The semantics of future and its use in program optimization, и . ACM Press, (1995)Predicate abstraction for software verification., и . POPL, стр. 191-202. ACM, (2002)ACM SIGPLAN Notices 37(1), January 2002.