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.

 

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

Modern Concurrency Abstractions for C#., , и . ECOOP 2002 - Object-Oriented Programming, том 2374 из Lecture Notes in Computer Science, стр. 415-440. Springer Berlin Heidelberg, (2002)Semantic Equivalence Checking for HHVM Bytecode.. PPDP, стр. 3:1-3:8. ACM, (2018)Modern concurrency abstractions for C#., , и . ACM Trans. Program. Lang. Syst., 26 (5): 769-804 (2004)Effect-dependent transformations for concurrent programs., , и . PPDP, стр. 188-201. ACM, (2016)08061 Abstracts Collection -- Types, Logics and Semantics for State., , , и . Types, Logics and Semantics for State, том 08061 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)08061 Executive Summary -- Types, Logics and Semantics for State., , , и . Types, Logics and Semantics for State, том 08061 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)Simple relational correctness proofs for static analyses and program transformations.. POPL, стр. 14-25. ACM, (2004)Traced Premonoidal Categories., и . RAIRO Theor. Informatics Appl., 37 (4): 273-299 (2003)Exceptional Syntax Journal of Functional Programming., и . J. Funct. Program., 11 (4): 395-410 (2001)BABEL 2001 - Preface., и . BABEL, том 59 из Electronic Notes in Theoretical Computer Science, стр. 1. Elsevier, (2001)