( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Semantics of an effect analysis for exceptions.

, и . TLDI, стр. 15-26. ACM, (2007)

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.

Nick Fandrich

Zur Charakterisierung von amphiphilen Blockcopolymeren aus N-Vinylpyrrolidon und Vinylacetat. Uni Potsdam, (2009)

Detlef Nick

Peter Nick

Nick Rischbieth

Nick Bretl

 

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

Semantic Equivalence Checking for HHVM Bytecode.. PPDP, стр. 3:1-3:8. ACM, (2018)Monads, Effects and Transformations., и . HOOTS, том 26 из Electronic Notes in Theoretical Computer Science, стр. 3-20. Elsevier, (1999)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)Simple relational correctness proofs for static analyses and program transformations.. POPL, стр. 14-25. ACM, (2004)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)Modern Concurrency Abstractions for C#., , и . ECOOP 2002 - Object-Oriented Programming, том 2374 из Lecture Notes in Computer Science, стр. 415-440. Springer Berlin Heidelberg, (2002)Preface., и . ML, том 148 из Electronic Notes in Theoretical Computer Science, стр. 1-2. Elsevier, (2005)Counting Successes: Effects and Transformations for Non-deterministic Programs., , , и . A List of Successes That Can Change the World, том 9600 из Lecture Notes in Computer Science, стр. 56-72. Springer, (2016)