( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Freeze after writing: quasi-deterministic parallel programming with LVars.

, , , и . POPL, стр. 257-270. ACM, (2014)

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.

Kurt Aaron

Siegfried Aaron

Beata Turonová

Else Aaron

Aaron Rosmarin

 

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

Freeze after writing: quasi-deterministic parallel programming with LVars., , , и . POPL, стр. 257-270. ACM, (2014)Reagents: expressing and composing fine-grained concurrency.. PLDI, стр. 157-168. ACM, (2012)Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning., , , , , , и . POPL, стр. 637-650. ACM, (2015)Superficially substructural types., , , и . ICFP, стр. 41-54. ACM, (2012)All-Termination(T)., и . TACAS, том 5505 из Lecture Notes in Computer Science, стр. 398-412. Springer, (2009)Rust: from POPL to practice (keynote).. POPL, стр. 2. ACM, (2017)Regular-expression derivatives re-examined., , и . J. Funct. Program., 19 (2): 173-190 (2009)Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency., , и . ICFP, стр. 377-390. ACM, (2013)Metaprogramming with Traits., и . ECOOP, том 4609 из Lecture Notes in Computer Science, стр. 373-398. Springer, (2007)Modular rollback through control logging: a pair of twin functional pearls., и . ICFP, стр. 58-68. ACM, (2011)