( en | de | ru )

 

Disambiguierung von "Fähndrich, Manuel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Abstracting Runtime Heaps for Program Understanding.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Erdmann Fähndrich

Karl Fähndrich

Wilfried Fähndrich

Martin Fähndrich

Lilo Fähndrich

 

Weitere Publikationen von Autoren mit dem selben Namen

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