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.

 

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

A Versatile Kernel for Distributed AOP., и . DAIS, том 4025 из Lecture Notes in Computer Science, стр. 316-331. Springer, (2006)Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging., и . ECOOP, том 6813 из Lecture Notes in Computer Science, стр. 558-582. Springer, (2011)An Empirical Study of the Influence of Static Type Systems on the Usability of Undocumented Software, , , , и . Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, стр. 683--702. (октября 2012)Dijkstra monads for all., , , , , , и . Proc. ACM Program. Lang., 3 (ICFP): 104:1-104:29 (2019)Polymorphic Relaxed Noninterference., и . SecDev, стр. 101-113. IEEE, (2019)Taming aspects.. VariComp@AOSD, стр. 19. ACM, (2013)Summary of the third workshop on Domain-Specific Aspect Languages., , , , и . DSAL@AOSD, стр. 1:1-1:5. ACM, (2008)Polymorphic bytecode instrumentation., , и . AOSD, стр. 129-140. ACM, (2011)Gradual refinement types., и . POPL, стр. 775-788. ACM, (2017)A trustworthy mechanized formalization of R., , и . DLS, стр. 13-24. ACM, (2018)