Author of the publication

Bi-abductive Resource Invariant Synthesis.

, , and . APLAS, volume 5904 of Lecture Notes in Computer Science, page 259-274. Springer, (2009)

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

Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming., , and . ICALP, volume 1853 of Lecture Notes in Computer Science, page 25-36. Springer, (2000)A polymorphic modal type system for lisp-like multi-staged languages., , and . POPL, page 257-268. ACM, (2006)Compositional shape analysis by means of bi-abduction., , , and . POPL, page 289-300. ACM, (2009)Javanni: A Verifier for JavaScript., , and . FASE, volume 7793 of Lecture Notes in Computer Science, page 231-234. Springer, (2013)Symbolic Execution with Separation Logic., , and . APLAS, volume 3780 of Lecture Notes in Computer Science, page 52-68. Springer, (2005)Computability and Complexity Results for a Spatial Assertion Language for Data Structures., , and . FSTTCS, volume 2245 of Lecture Notes in Computer Science, page 108-119. Springer, (2001)A Decidable Fragment of Separation Logic., , and . FSTTCS, volume 3328 of Lecture Notes in Computer Science, page 97-109. Springer, (2004)Variables as Resource in Hoare Logics., , and . LICS, page 137-146. IEEE Computer Society, (2006)Multi-Stage Imperative Languages: A Conservative Extension Result., and . SAIG, volume 1924 of Lecture Notes in Computer Science, page 92-107. Springer, (2000)Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292., , and . PPDP, page 190-201. ACM, (2000)