Verification of Object-Oriented Programs with Invariants., The Journal of Object Technology, vol.3, issue.6, 2004. ,
DOI : 10.5381/jot.2004.3.6.a2
Smallfoot: Modular automatic assertion checking with separation logic Modular typestate verification of aliased objects Permission accounting in separation logic, Formal Methods for Components and Objects, 2005. 3. ACM Conference on Object-Oriented Programming Systems, Languages, and Applications Principles of Programming Languages, 2005. ,
Checking Interference with Fractional Permissions, Static Analysis Symposium, 2003. ,
DOI : 10.1007/3-540-44898-5_4
Semantics of fractional permissions with nesting, ACM Transactions on Programming Languages and Systems, vol.32, issue.6, 2007. ,
DOI : 10.1145/1749608.1749611
Connecting effects and uniqueness with adoption, Principles of Programming Languages, 2005. ,
DOI : 10.1145/1047659.1040329
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.4718
Iterators can be independent " from " their collections. International Workshop on Aliasing, Confinement and Ownership in object-oriented programming Enhancing modular OO verification with separation logic, Principles of Programming Languages, 2007. ,
Typed memory management in a calculus of capabilities, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '99, 1999. ,
DOI : 10.1145/292540.292564
Enforcing high-level protocols in low-level software, Programming Languages Design and Implementation, 2001. ,
Typestates for Objects, European Conference on Object-Oriented Programming, 2004. ,
DOI : 10.1007/978-3-540-24851-4_21
Linear logic, Theoretical Computer Science, vol.50, issue.1, 1995. ,
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966
Local Reasoning for Storable Locks and Threads, Asian Programming Languages and Systems Symposium, 2007. ,
DOI : 10.1007/978-3-540-76637-7_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.6546
Resource Usage Protocols for Iterators., The Journal of Object Technology, vol.8, issue.4 ,
DOI : 10.5381/jot.2009.8.4.a3
URL : https://hal.archives-ouvertes.fr/inria-00410128
Separation Logic Contracts for a Java-Like Language with Fork/Join, 2008. ,
DOI : 10.1007/978-3-540-79980-1_16
URL : https://hal.archives-ouvertes.fr/inria-00218114
Featherweight Java: a minimal core calculus for Java and GJ, ACM Transactions on Programming Languages and Systems, vol.23, issue.3, 2001. ,
DOI : 10.1145/503502.503505
BI as an assertion language for mutable data structures, Principles of Programming Languages, 2001. ,
Reasoning about iterators with separation logic, Proceedings of the 2006 conference on Specification and verification of component-based systems , SAVCBS '06, 2006. ,
DOI : 10.1145/1181195.1181213
Preliminary design of JML, ACM SIGSOFT Software Engineering Notes, vol.31, issue.3, p.31, 2006. ,
DOI : 10.1145/1127878.1127884
Data groups: Specifying the modification of extended state, ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, 1998. ,
Resources, concurrency and local reasoning, Theor. Comp. Science, vol.375, pp.1-3, 2007. ,
The logic of bunched implications, Bulletin of Symbolic Logic, vol.5, issue.2, 1999. ,
Separation and information hiding, Principles of Programming Languages, 2004. ,
Local reasoning for Java, 2005. ,
Separation logic and abstraction, Principles of Programming Languages, 2005. ,
DOI : 10.1145/1040305.1040326
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.5332
Separation logic, abstraction and inheritance, Principles of Programming Languages, 2008. ,
Separation logic: a logic for shared mutable data structures, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 2002. ,
DOI : 10.1109/LICS.2002.1029817
Alias Types, European Symposium on Programming, 2000. ,
DOI : 10.1007/3-540-46425-5_24
A taste of linear logic, Mathematical Foundations of Computer Science, 1993. ,
DOI : 10.1007/3-540-57182-5_12