State Based Ownership, Reentrance, and Encapsulation-Reference-Cited by-同舟云学术

State Based Ownership, Reentrance, and Encapsulation

Published:2005 Issue: Volume: Page:387-411
ISSN:0302-9743
Container-title:ECOOP 2005 - Object-Oriented Programming
language:
Short-container-title:

Author:

Banerjee Anindya,Naumann David A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11531142_17.pdf

Reference31 articles.

1. Lecture Notes in Computer Science;J. Aldrich,2004

2. Banerjee, A., Naumann, D.A.: Ownership confinement ensures representation independence for object-oriented programs. In: Journal of the ACM (2002) Accepted, revision pending. Extended version of [3]

3. Banerjee, A., Naumann, D.A.: Representation independence, confinement and access control. In: POPL (2002)

4. Banerjee, A., Naumann, D.A.: Ownership transfer and abstraction. Technical Report TR 2004-1, Computing and Information Sciences, Kansas State University (2003)

5. Banerjee, A., Naumann, D.A.: State based encapsulation and generics. Technical Report CS Report 2004-11, Stevens Institute of Technology (2004)

Cited by 22 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Resolving the Java Representation Exposure Problem with an AST-Based Deep Copy and Flexible Alias Ownership System;Electronics;2024-01-14

2. Necessity specifications for robustness;Proceedings of the ACM on Programming Languages;2022-10-31

3. Robust and compositional verification of object capability patterns;Proceedings of the ACM on Programming Languages;2017-10-12

4. Automating regression verification of pointer programs by predicate abstraction;Formal Methods in System Design;2017-08-31

5. Automating regression verification;Proceedings of the 29th ACM/IEEE international conference on Automated software engineering;2014-09-15