The ins and outs of objects

Proceedings - 1998 Australian Software Engineering Conference, ASWEC 1998

Volumn 1998-November, Issue , 1998, Pages 80-89

  Potter, John ^a   Noble, James ^a   Clarke, David ^a  

^a MACQUARIE UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; FORESTRY; SOFTWARE DESIGN; TREES (MATHEMATICS);

COMPONENT BASED APPROACH; COMPONENT OBJECTS; INDIVIDUAL OBJECTS; OBJECT CONTAINMENT; OBJECT ORIENTED MODEL; PRIMARY MECHANISM; STRUCTURAL INVARIANTS; STRUCTURAL RELATIONSHIP;

OBJECT ORIENTED PROGRAMMING;

EID: 84959054901     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASWEC.1998.730915     Document Type: Conference Paper

References (40)

1. A. V. Aho, J. E. Hopcroft, and J. D. Ullman. The design and analysis of computer algorithms. Addison-Wesley, 1974.
2. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.
3. P. S. Almeida. Baloon Types: Controlling sharing of state in data types. In ECOOP Proceedings, June 1997.
4. P. America and F. De Boer. A sound and complete proof system for SPOOL. Technical Report Technical Report 505, Philips Research Laboratories, 1990.
5. H. G. Baker. 'Use-once' variables and linear objects -storage management, reflection and multi-threading. ACM SIGPLAN Notices, 30(1), Jan. 1995.
6. E. Blake and S. Cook. On including part hierarchies in object-oriented languages, with an implementation in Smalltalk. In ECOOP Proceedings, 1987.
7. G. Booch. Object Oriented Analysis and Design with Applications. Benjamin Cummings, second edition, 1994.
8. A. Borning. The programming language aspects of ThingLab, a constraint-oriented simulation laboratory. ACM Transactions on Programming Languages and Systems, 3(4), Oct. 1981.
9. D. Box. Creating Components with DCOM and C++. Addison-Wesley, 1997.
10. E. C. Chan, J. T. Boyland, and W. L. Scherlis. Promises: Limitied specifications for analysis and manipulation. In IEEE International Conference on Software Engineering (ICSE), 1998.
11. F. Civello. Roles for composite objects in object-oriented analysis and design. In OOPSLA Proceedings, 1993.
12. D. Clarke, J. Potter, and J. Noble. Ownership types for flexible aliasing protection. In OOPSLA'98 Proceedings, 1998.
13. A. Deutsch. Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting. In Proceedigns of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation, June 1994.
14. E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976.
15. J. S. Dong and R. Duke. Exclusive control within object oriented systems. In TOOLS Pacific 18, 1995.
16. P. Grogono and P. Chalin. Copying, sharing, and aliasing. In Proceedings of the Colloquium on Object Orientation in Databases and Software Engineering (COODBSE'94), Montreal, Quebec, May 1994.
17. D. E. Harms and B. W. Weide. Copying and swapping: Influences on the design of reusable software components. IEEE Transactions on Software Engineering, 17(5), May 1991.
18. B. Henderson-Sellers and J. M. Edwards. BOOKTWO of Object-Oriented Knowledge: The Working Object. Prentice-Hall, 1994.
19. C. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576-580, 583, Oct. 1969.
20. J. Hogg. Islands: Aliasing protection in object-oriented languages. In OOPSLA Proceedings, Nov. 1991.
21. 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.
22. N. D. Jones and S. Muchnick. Flow analysis and optimization of LISP-like structures. In S. Muchnick and N. D. Jones, editors, Program Flow Analysis: Theory and Applications. Prentice Hall, 1981.
23. S. Kent and I. Maung. Encapsulation and aggregation. In TOOLS Pacific 18, 1995.
24. W. Landi. Undecidability of static analysis. ACM Letters on Programming Languages and Systems, 1(4), Dec. 1992.
25. K. R. M. Leino. Wrestling with rep exposure. Technical Report KRML-68, DEC Systems Research Centre, 1998.
26. J. M. Lucassen and D. K. Gifford. Polymorphic effect systems. In Proceedings of the Eighteenth Annual ACM S1GACT-SIGPLAN Symposium on Principles of Programming Languages, Jan. 1988.
27. B. Meyer. Eiffel: The Language. Prentice Hall, 1992.
28. N. Minsky. Towards alias-free pointers. In ECOOP Proceedings, July 1996.
29. J. Noble and J. Potter. Change detection for aggregate objects with aliasing. In Australian Software Engineering Conference, Sydney, Australia, 1997. IEEE Press.
30. J. Noble, J. Vitek, and J. Potter. Flexible alias protection. In ECOOP Proceedings, 1998.
31. R. O'Callahan and D. Jackson. Lackwit: A program understanding tool based on type inference. In International Conference on Software Engineering (ICSE'97), 1997.
32. G. Outhred and J. Potter. A model for component composition with sharing. Submitted to the ECOOP'98 Workshop on Component-Oriented Programming (WCOP'98), 1998.
33. J. Potter, D. Clarke, and J. Noble. A mode system for flexible alias protection. In Formal Methods Pacific (FMP'98), 1998.
34. J. C. Reynolds. Syntatic control of interference. In 5th ACM Symposium on Principles of Programming Languages, Jan. 1978.
35. J. Rumbaugh, I. Jacobson, and G. Booch. The United Modelling Language Reference Manual. Addison-Wesley, 1988.
36. M Sifer and J. Potter. Scalability for graph based case tools. International journal of Software Engineering and Knowledge Engineering, 5(3), 1995.
37. M. Sifer and J. Potter. Structured graphs: a visual formalism for scalable graph based case tools. Australian Computer Journal, 28(1): 13-26, 1996.
38. B. Stroustrup. The C++ Programming Language. Addison-Wesley, 1986.
39. C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley Longman, Harlow, Essex, 1998.
40. M. Utting. Reasoning about aliasing. In The Fourth Australasian Refinement Workshop, 1995.