( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Initializing Global Objects: Time and Order.

, , , и . Proc. ACM Program. Lang., 7 (OOPSLA2): 1310-1337 (октября 2023)

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.

Fengyun Lu

Liu Liu

Liu Liu

Liu Liu

Dongmei Liu

 

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

Initialization patterns in Dotty., , и . SCALA@ICFP, стр. 51-55. ACM, (2018)A type-and-effect system for object initialization., , , , и . Proc. ACM Program. Lang., 4 (OOPSLA): 175:1-175:28 (2020)Initializing Global Objects: Time and Order., , , и . Proc. ACM Program. Lang., 7 (OOPSLA2): 1310-1337 (октября 2023)On the Soundness of Coroutines with Snapshots., и . CoRR, (2018)Implicit state machines., и . LCTES, стр. 13-25. ACM, (2022)Accelerate the Development of Media Integration and Build a New Model of Öne-Three-Five" Human Anatomy Teaching., , , , и . MLIS, том 374 из Frontiers in Artificial Intelligence and Applications, стр. 25-32. IOS Press, (2023)A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model., и . Proc. ACM Program. Lang., 6 (OOPSLA2): 729-757 (2022)Theory and Practice of Coroutines with Snapshots., и . ECOOP, том 109 из LIPIcs, стр. 3:1-3:32. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Safe initialization of objects.. EPFL, Switzerland, (2020)A generic algorithm for checking exhaustivity of pattern matching (short paper).. SCALA@SPLASH, стр. 61-64. ACM, (2016)