Sharing objects by read-only references

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2422, Issue , 2002, Pages 457-472

  Skoglund, Mats ^a  

^a ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CONTROL ACCESS; TYPE SYSTEMS;

ACCESS CONTROL;

EID: 84944074904     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45719-4_31     Document Type: Conference Paper

References (20)

1. P. S. Almeida. Balloon types: Controlling sharing of state in data types. In ECOOP ’97 Proceedings, 1997. 457
2. H. Banerjee and D. A. Naumann. Representation independence, confinement, and access control. In The 29th Annual Symposium on Principles of Programming Languages, POPL., 2002. 457
3. H. Banerjee and D. A. Naumann. A static analysis for instance-based confinement in java, 2002. In Manuscript, Avaliable from http://guinness.cs.stevenstech.edu/∼naumann/publications.html. 461
4. B. Bokowski and J. Vitek. Confined types. In OOPSLA ’99 Proceedings, 1999. 457
5. J. Boyland, J. Noble, and W. Retert. Capabilities for aliasing: A generalisation of uniqueness and read-only. In J. L. Knudsen, editor, ECOOP 2001 — Object- Oriented Programming, 15th European Conference, number 2072 in Lecture Notes in Computer Science, pages 2–27, Berlin, Heidelberg, New York, 2001. Springer. 458
6. L. Cardelli. Type systems. In A. B. Tucker, editor, The Computer Science and Engineering Handbook, pages 2208–2236. CRC Press, 1997. 463
7. D. Clarke, J. Potter, and J. Noble. Ownership types for flexible alias protection. In OOPSLA ’98 Proceedings, 1998. 462, 465
8. M. Flatt, S. Krishnamurthi, and M. Felleisen. A programmer’s reduction semantics for classes and mixins. Technical Report TR 97-293, Rice University, 1997, revised 6/99. 461
9. J. Gosling, B. Joy, G. L. Steele Jr., and G. Bracha. The Java Language Specification Second Edition. Addison-Wesley Publishing Company, 2000. 462
10. H. Hakonen, V. Leppänen, T. Raita, T. Salakoski, and J. Teuhola. Improving object integrity and preventing side effects via deeply immutable references. In Proceedings of Sixth Fenno-Ugric Symposium on Software Technology, FUSST, 1999. 457
11. V. L. Harri Hakonen and T. Salakoski. Object integrity while allowing aliasing. In The 16th IFIP World Computer Congress International Conference on Software: Theory and Practice, ICS’2000, pages 91–96., 2002. 458
12. J. Hogg. Islands: Aliasing protection in object-oriented languages. In A. Paepcke, editor, OOPSLA ’91 Conference Proceedings: Object-Oriented Programming Systems, Languages, and Applications, pages 271–285. ACM Press, 1991. 470
13. J. Hogg, D. Lea, A. Wills, D. deChampeaux, and R. Holt. The geneva convention on the treatment of object aliasing. In OOPS Messenger 3(2), April 1992, 1992. 457
14. G. Kniesel. Encapsulation=visibility + accessibility (revised). Technical Report IAI-TR-96-12, Institut for Informatik III, 1998. 457
15. G. Kniesel and D. Theisen. Java with transitive access control. In IWAOOS’99 – Intercontinental Workshop on Aliasing in Object-Oriented Systems. In association with the 13th European Conference on Object-Oriented Programming (ECOOP’99), June 1999. 457, 458, 460, 470
16. P. Müller and A. Poetzsch-Heffter. Universes: A type system for alias and dependency control. Technical Report 279, Fernuniversität Hagen, 2001. 457, 459, 469, 470
17. J. Noble, J. Vitek, and J. Potter. Flexible alias protection. In E. Jul, editor, ECOOP’98—Object-Oriented Programming, volume 1445 of Lecture Notes in Computer Science, pages 158–185. Springer, 1998. 457, 469, 470
18. M. Skoglund and T. Wrigstad. A mode system for readonly references. In 3rd workshop on Formal Techniques for Java Programs, 2001. Avaliable from: http://www.dsv.su.se/∼matte/publ/ecoop2001.html. 462
19. M. Skoglund and T. Wrigstad. Alias control with read-only references. In Proceedings of 6th International Conference on Computer Science and Informatics, 2002. 457
20. B. Stoustrup. The C++ Programming Language Third Edition. Addison-Wesley Publishing Company, 1997. 470