From post

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.

 

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

ProfessorJ: a gradual introduction to Java through language levels., и . OOPSLA Companion, стр. 170-177. ACM, (2003)Mixed-size concurrency: ARM, POWER, C/C++11, and SC., , , , , , , , и . POPL, стр. 429-442. ACM, (2017)Modelling the ARMv8 architecture, operationally: concurrency and ISA., , , , , , , и . POPL, стр. 608-621. ACM, (2016)ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS., , , , , , , , , и 4 other автор(ы). Proc. ACM Program. Lang., 3 (POPL): 71:1-71:31 (2019)Design of class hierarchies: an introduction to OO program design., и . SIGCSE, стр. 288-292. ACM, (2006)Lem: reusable engineering of real-world semantics., , , , и . ICFP, стр. 175-188. ACM, (2014)Transformation-by-Example for XML., , и . PADL, том 1753 из Lecture Notes in Computer Science, стр. 249-262. Springer, (2000)Towards Customizable Pedagogic Programming Languages.. University of Utah, USA, (2006)Fine-grained interoperability through mirrors and contracts., , и . OOPSLA, стр. 231-245. ACM, (2005)Safe Cross-Language Inheritance.. ECOOP, том 5142 из Lecture Notes in Computer Science, стр. 52-75. Springer, (2008)