Conglomeration - Realising alias protection

Proceedings - 23rd Australasian Computer Science Conference, ACSC 2000

Volumn , Issue , 2000, Pages 189-195

  Potter, J ^a   Noble, J ^b  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b VICTORIA UNIVERSITY OF WELLINGTON   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

ALIASED; ANALYSIS AND DESIGN MODELS; CONSISTENCY CONDITIONS; UML MODEL;

UNIFIED MODELING LANGUAGE;

EID: 84963815473     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSC.2000.824402     Document Type: Conference Paper

References (29)

1. P. S. Almeida. Balloon Types: Controlling sharing of state in data types. In ECOOP Proceedings, June 1997.
2. B. Bokowski and J. Vitek. Confined types. In OOPSLA Proceedings, 1999.
3. G. Booch, I. Jacobson, and J. Rumbaugh. The Unified Modeling Language User Guide. Addison-Wesley, 1998.
4. D. Box. Essential COM. Addison-Wesley, 1998.
5. D. Clarke, J. Potter, and J. Noble. Ownership types for flexible alias protection. In OOPSLA Proceedings, 1998.
6. D. L. Detlefs, K. R. M. Leino, and G. Nelson. Wrestling with rep exposure. Technical Report SRC Research Report 156, DEC Systems Research Center, July 1998.
7. J. S. Dong and R. Duke. Exclusive control within object-oriented systems. In TOOLS Pacific 18, 1995.
8. J. S. Dong and R. Duke. The geometry of object containment. Object Oriented Systems, 2:41-63, 1995.
9. D. F. D'Souza and A. C. Wills. Objects, Components and Frameworks with UML: The Catalysis Approach. Addison-Wesley, 1999.
10. D. G. Firesmith, B. Henderson-Sellers, I. Graham, and M. Page-Jones. Open Modeling Language (OML) Reference Manual. SIGS Press, 1998.
11. E. Gamma, R. Helm, R. E. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley, 1994.
12. B. Henderson-Sellers and F. Barbier. Black and white diamonds. In UML'99, 1999.
13. J. Hogg. Islands: Aliasing protection in object-oriented languages. In OOPSLA Proceedings, Nov. 1991.
14. J. Hogg, D. Lea, A. Wills, D. deChampeaux, and R. Holt. The Geneva convention on the treatment of object aliasing. OOPS Messenger, 3(2), Apr. 1992.
15. S. Kent. Constraint diagrams: Visualizing assertions in object-oriented models. In OOPSLA Proceedings, pages 327-341, 1997.
16. S. Kent and I. Maung. Encapsulation and aggregation. In TOOLS Pacific 18, 1995.
17. S. S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufman, 1997.
18. J. Noble, D. Clarke, and J. Potter. Dynamic alias protection in prototype-based languages. In OOPSLA'98 Workshop on Prototype-Based Programming, 1998.
19. J. Noble and J. Potter. Change detection for aggregate objects with aliasing. In Australian Software Engineering Conference (ASWEC), 1997.
20. J. Noble, J. Vitek, and J. Potter. Flexible alias protection. In ECOOP Proceedings, 1998.
21. G. Outhred and J. Potter. A model for component composistion with sharing. In Proceedings of the Third International Workshop on Component-Oriented Programming, 1998.
22. J. Potter, D. Clarke, and J. Noble. A mode system for flexible alias protection. In Formal Methods Pacific. Springer-Verlag, 1998.
23. J. Potter, J. Noble, and D. Clarke. The ins and outs of objects. In Australian Software Engineering Conference (ASWEC), 1998.
24. T. Quatrani. Visual Modeling With Rational Rose and UML. Addison-Wesley, 1998.
25. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1998.
26. Sun Microsystems. JavaBeans Specification, v 1.01 edition, 1997.
27. M. Utting. Reasoning about aliasing. In The Fourth Australasian Refinement Workshop, 1995.
28. J. B. Warmer and A. G. Kleppe. The Object Constraint Language: Precise Modeling With UML. Addison-Wesley, 1999.
29. A. Wills. Capsules and types in Fresco. In Proceedings ECOOP '91. Springer-Verlag, July 15-19 1991.