Author of the publication

Unifying separation logic and region logic to allow interoperability.

, , and . Formal Aspects Comput., 30 (3-4): 381-441 (2018)

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

Introduction to the literature on object-oriented design, programming, and languages.. OOPS Messenger, 2 (4): 40-53 (1991)Special issue: formal techniques for Java programs., and . Concurr. Comput. Pract. Exp., 13 (13): 1121-1123 (2001)The Java Modeling Language (JML) (NII Shonan Meeting 2013-3)., , and . NII Shonan Meet. Rep., (2013)Challenge benchmarks for verification of real-time programs: (abstract only)., , , , and . ACM SIGPLAN Notices, 44 (11): 7-8 (2009)Modular Specification and Verification of Object-Oriented Programs.. IEEE Software, 8 (4): 72-80 (1991)Verily: a web framework for creating more reasonable web applications., and . ICSE Companion, page 560-563. ACM, (2014)Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study., , , , , and . Sci. Comput. Program., 78 (8): 1137-1156 (2013)Be Realistic: Automated Program Repair is a Combination of Undecidable Problems., and . APR@ICSE, page 31-32. IEEE, (2022)Abstraction in Deductive Verification: Model Fields and Model Methods., and . ISoLA (1), volume 13701 of Lecture Notes in Computer Science, page 29-44. Springer, (2022)Behavioral Subtyping, Specification Inheritance, and Modular Reasoning., and . ACM Trans. Program. Lang. Syst., 37 (4): 13:1-13:88 (2015)