Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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