M. Barnett, R. Deline, M. Fähndrich, K. R. Leino, and W. Schulte, 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

J. Berdine, C. Calcagno, P. W. O-'hearn, K. Bierhoff, J. Aldrich et al., 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.

J. Boyland, Checking Interference with Fractional Permissions, Static Analysis Symposium, 2003.
DOI : 10.1007/3-540-44898-5_4

J. Boyland, Semantics of fractional permissions with nesting, ACM Transactions on Programming Languages and Systems, vol.32, issue.6, 2007.
DOI : 10.1145/1749608.1749611

J. Boyland and W. Retert, 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=

J. Boyland, W. Retert, and Y. Zhao, 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.

K. Crary, D. Walker, and G. Morrisett, 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

R. Deline and M. Fähndrich, Enforcing high-level protocols in low-level software, Programming Languages Design and Implementation, 2001.

R. Deline and M. Fähndrich, Typestates for Objects, European Conference on Object-Oriented Programming, 2004.
DOI : 10.1007/978-3-540-24851-4_21

J. Girard, 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

A. Gotsman, J. Berdine, B. Cook, N. Rinetzky, and M. Sagiv, 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=

C. Haack and C. Hurlin, 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

C. Haack and C. Hurlin, 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

A. Igarashi, B. Pierce, and P. Wadler, 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

S. Ishtiaq and P. O. Hearn, BI as an assertion language for mutable data structures, Principles of Programming Languages, 2001.

G. Krishnaswami, 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

G. T. Leavens, A. L. Baker, and C. Ruby, Preliminary design of JML, ACM SIGSOFT Software Engineering Notes, vol.31, issue.3, p.31, 2006.
DOI : 10.1145/1127878.1127884

K. R. Leino, Data groups: Specifying the modification of extended state, ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, 1998.

P. O. Hearn, Resources, concurrency and local reasoning, Theor. Comp. Science, vol.375, pp.1-3, 2007.

P. W. O-'hearn and D. J. Pym, The logic of bunched implications, Bulletin of Symbolic Logic, vol.5, issue.2, 1999.

P. W. O-'hearn, H. Yang, and J. C. Reynolds, Separation and information hiding, Principles of Programming Languages, 2004.

M. Parkinson, Local reasoning for Java, 2005.

M. Parkinson and G. Bierman, Separation logic and abstraction, Principles of Programming Languages, 2005.
DOI : 10.1145/1040305.1040326

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

M. Parkinson and G. Bierman, Separation logic, abstraction and inheritance, Principles of Programming Languages, 2008.

J. C. Reynolds, 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

F. Smith, G. Walker, and . Morrisett, Alias Types, European Symposium on Programming, 2000.
DOI : 10.1007/3-540-46425-5_24

P. Wadler, A taste of linear logic, Mathematical Foundations of Computer Science, 1993.
DOI : 10.1007/3-540-57182-5_12