( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Type System for Object Initialization in the Java Bytecode Language.

, и . OOPSLA, стр. 310-327. ACM, (1998)SIGPLAN Notices 33(10).

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.

n n n

n AÊ¿w n

N -L N Nguyen

n-hy n Yi

Stephen Mamphey

 

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

Adding Type Parameterization to the Java Language., , и . OOPSLA, стр. 49-65. ACM, (1997)SIGPLAN Notices 32(10).Atomizer: a dynamic atomicity checker for multithreaded programs., и . POPL, стр. 256-267. ACM, (2004)Exploiting purity for atomicity., , и . ISSTA, стр. 221-231. ACM, (2004)RedCard: Redundant Check Elimination for Dynamic Race Detectors., и . ECOOP, том 7920 из Lecture Notes in Computer Science, стр. 255-280. Springer, (2013)Type-based race detection for Java., и . PLDI, стр. 219-232. ACM, (2000)Dynamic Architecture Extraction., и . FATES/RV, том 4262 из Lecture Notes in Computer Science, стр. 209-224. Springer, (2006)A Type System For Object Initialization In the Java Bytecode Language., и . HOOTS, том 10 из Electronic Notes in Theoretical Computer Science, стр. 242-245. Elsevier, (1997)Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning., и . ECOOP, том 313 из LIPIcs, стр. 16:1-16:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)The RoadRunner dynamic analysis framework for concurrent programs., и . PASTE, стр. 1-8. ACM, (2010)Type inference for atomicity., , и . TLDI, стр. 47-58. ACM, (2005)