On the syllogistic structure of object-orientedprogramming

Proceedings - International Conference on Software Engineering

Volumn 2001-May, Issue , 2001, Pages 113-122

  Rayside, Derek ^a   Kontogiannis, Kostas ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

XML; DATA STRUCTURES; FORMAL LOGIC; HIERARCHICAL SYSTEMS; SOFTWARE ENGINEERING;

CALL GRAPHS; CAMPBELL; CLASS HIERARCHIES; CLASS HIERARCHY ANALYSIS; DESIGN SPACES; METHOD INVOCATION; OBJECT-ORIENTED PROGRAM; OBJECTORIENTED PROGRAMMING (OOP); PROGRAM ANALYSIS; SET-DOWN; POLYMORPHIC METHOD; SYLLOGISTIC STRUCTURE;

OBJECT ORIENTED PROGRAMMING;

EID: 0035000464     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2001.919086     Document Type: Conference Paper

References (20)

1. Aristotle. Prior Analytics. In W. D. Ross, editor, The Works of Aristotle, VolumeI: Logic.OxfordUniversityPress, 1928.
2. D. F. Bacon. Fast and Effective Optimization of Statically oped Object-Oriented Languages. PhD thesis, University of Califomia at Berkeley, December 1997. Supervised by Susan Graham. UCBKSD-98-1017.
3. B. Calder and D. Grunwald. Reducing indirect function call overhead i n C++ programs. In POPL'94, pages 397-408, Portland, Oregon, January 1994.
4. C. Chambers. Object-oriented multi-methods in Cecil. In ECOOP'92, Utrecht, The Netherlands, July 1992. Springer-Verlag.
5. J. Dean, D.Grove, and C. Chambers. Optimization of object-oriented programs using static class hierarchy analysis. In W. Olthoff, editor, ECOOP'95, hhus, Denmark, August 1995. Springer-Verlag. LNCS 952.
6. K. Driesen. Software and Hardware Techniques for Eficienr Polymorphic Calls. PhD thesis, University of California at Santa Barbara, June 1999. Supervised by Urs Holzle. TRCS99-24.
7. A. Goldberg and D. Robson. Smalltalk-80: The Language and Its Implementation. Addison-Wesley, 1983.
8. J. Gosling, B. Joy, and G. Stele Jr. The Java Language Specification. Addison Wesley, 1996.
9. D. Lea, editor. Proceedings of ACMBIGPLAN Conference on Object-Oriented Systems, Languages and Applications (OOPSLA), Minneapolis, Minnesota, October 2000.
10. J. Łukasiewicz. Aristotle's Syllogistic From the Standpoint of Modern Formal Logic. Oxford Clarendon Press, 2nd edition, 1957.
11. O. L. Madsen, B. Møller-Pedersen, and K. Nygaard. Object-oriented Programming in the BETAProgramming Lunguage. Addison Wesley, 1993.
12. D. Raysideand G. T. Campbell.An Aristotelian Understanding of Object-Oriented Programming. In Lea [9], pages 337-353.
13. L. E. Rose. Aristotle's Syllogistic. Charles C. Thomas Publisher, 1968.
14. J. E Sowa. Knowledge Representation: Logical, Philosophical, and Computational Foundations. BrookdColeThomson Learning, 2000.
15. B. Stroustrup. The C++ Programming Lunguage. Addison-Wesley, 1986.
16. V. Sundaresan, L. Hendren, C. Razafimahefa, R. VallBe-Rai, P. Lam, and E. Gagnon. Practical virtual method call resolution for Java. In Lea [9], pages 264 - 280.
17. E Tip, J.-D. Choi, J. Field, and G. Ramalingam. Slicingclass hierarchiesin C++. In J. Coplien, editor, OOPSLA'96, pages 179- 197, San Jose, Califomia, October 1996.
18. F. Tip and J. Palsberg. Scalable propagation-based call graph construction algorithms. In Lea [9], pages 281-293.
19. F. Tip and P. E Sweeney. Class hierarchy specialization. In T. Bloom, editor, OOPSLA'97, pages 271-7-85, Atlanta, Georgia, October 1997.
20. D.Ungar and R. B. Smith. Self: The power of simplicity. In OOPSLA'87, pages 227-241, Orlando, Florida, October 1987.