( en | de | ru )

 

Disambiguation of "Fähndrich, Manuel"

Author of the publication

copydeleteadd this publication to your clipboard
The Spec# Programming System: Challenges and Directions.

, , , , , , and . VSTTE, volume 4171 of Lecture Notes in Computer Science, page 144-152. Springer, (2005)

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

Static Verification for Code Contracts.. SAS, volume 6337 of Lecture Notes in Computer Science, page 2-5. Springer, (2010)Cloud Types for Eventual Consistency., , , and . ECOOP, volume 7313 of Lecture Notes in Computer Science, page 283-307. Springer, (2012)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)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.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)Dynamic Typing and Subtype Inference., and . FPCA, page 182-191. ACM, (1995)Sealing OS processes to improve dependability and safety., , , , , , , , , and . EuroSys, page 341-354. ACM, (2007)