Author of the publication

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.

 

Other publications of authors with the same name

Integrating a set of contract checking tools into visual studio., , , and . TOPI@ICSE, page 43-48. IEEE Computer Society, (2012)Embedded contract languages., , and . SAC, page 2103-2110. ACM, (2010)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)On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis., and . CC, volume 4959 of Lecture Notes in Computer Science, page 197-212. Springer, (2008)It's alive! continuous feedback in UI programming., , , , , , and . PLDI, page 95-104. ACM, (2013)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)SPUR: a trace-based JIT compiler for CIL., , , , , , and . OOPSLA, page 708-725. ACM, (2010)Language-agnostic specification and verification: invited talk.. PLPV, page 1-2. ACM, (2009)Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only)., , , , and . SIGCSE, page 663. ACM, (2012)