( en | de | ru )

 

Disambiguation of "Fähndrich, Manuel"

Author of the publication

copydeleteadd this publication to your clipboard
Abstracting Runtime Heaps for Program Understanding.

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

Erdmann Fähndrich

Karl Fähndrich

Wilfried Fähndrich

Martin Fähndrich

Lilo Fähndrich

 

Other publications of authors with the same name

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