( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Abstracting Runtime Heaps for Program Understanding.

, , , и . IEEE Trans. Software Eng., 39 (6): 774-786 (2013)

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.

Erdmann Fähndrich

Karl Fähndrich

Wilfried Fähndrich

Martin Fähndrich

Lilo Fähndrich

 

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

Cloud Types for Eventual Consistency., , , и . ECOOP, том 7313 из Lecture Notes in Computer Science, стр. 283-307. Springer, (2012)Static Verification for Code Contracts.. SAS, том 6337 из Lecture Notes in Computer Science, стр. 2-5. Springer, (2010)It's alive! continuous feedback in UI programming., , , , , , и . PLDI, стр. 95-104. ACM, (2013)A Toolkit for Constructing Type- and Constraint-Based Program Analyses., , , и . Types in Compilation, том 1473 из Lecture Notes in Computer Science, стр. 78-96. Springer, (1998)Deconstructing process isolation., , , , и . Memory System Performance and Correctness, стр. 1-10. ACM, (2006)Typestates for Objects., и . ECOOP, том 3086 из Lecture Notes in Computer Science, стр. 465-490. Springer, (2004)Detecting races in Relay Ladder Logic programs., , и . Int. J. Softw. Tools Technol. Transf., 3 (1): 93-105 (2000)Abstracting Runtime Heaps for Program Understanding., , , и . IEEE Trans. Software Eng., 39 (6): 774-786 (2013)Type-base flow analysis: from polymorphic subtyping to CFL-reachability., и . POPL, стр. 54-66. ACM, (2001)ACM SIGPLAN Notices 36(3), March 2001.Establishing object invariants with delayed types., и . OOPSLA, стр. 337-350. ACM, (2007)