Semantics-based composition of class hierarchies

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

Volumn 2374, Issue , 2002, Pages 562-584

  Snelting, Gregor ^a   Tip, Frank ^b  

^a UNIVERSITY OF PASSAU   (Germany)

^b IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

CLASS HIERARCHIES; CORRECTNESS PROOFS; EXECUTABLE SYSTEMS; IMPACT ANALYSIS; INTERFERENCE CRITERIA; INTERFERENCE-FREE; PROGRAM ANALYSIS; SOFTWARE SYSTEMS;

OBJECT ORIENTED PROGRAMMING;

EID: 84944065903     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-47993-7_24     Document Type: Conference Paper

References (24)

1. L. O. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, Univ. of Copenhagen, May 1994. DIKU report 94/19.
2. David Binkley, Susan Horwitz, and Thomas Reps. Program integration for languages with procedure calls. ACM Transactions on Software Engineering and Methodology, pages 3–35, January 1995.
3. B. A. Davey and H. A. Priestley. Introduction to Lattices and Order. Cambridge University Press, 1990.
4. Erik Ernst. Propagating class and method combination. In Proc. European Conference on Object-Oriented programming (ECOOP99), pages 67–91, Lisboa, 1999.
5. William Harrison and Harold Ossher. Subject-oriented programming (a critique of pure objects). In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 411–428, 1993.
6. Nevin Heintze and Oliver Tardieu. Ultra-fast alias analysis using CLA. In Proc. ACM SIGPLAN Symposium on Programming Language Design and Implementation (PLDI01), pages 254–263, Snowbird, Utah, 2001.
7. Atshushi Igarashi, Benjamin Pierce, and Philip Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In Proc. SIGPLAN/Conference an Onject-Oriented Programmin, Systems, Languages and Applications (OOPSLA’99), pages 132–146. ACM, November 1999.
8. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, and William G. Griswold. An overview of AspectJ. In Proc. 15th European Conf. on Object-Oriented Programming (ECOOP’01), Budapest, Hungary, June 2001.
9. Michelle L. Lee. Change Impact Analysis of Object-Oriented Software. PhD thesis, George Mason University, 1998.
10. Michelle Lee and A. Jefferson Offutt. Algorithmic analysis of the impact of changes to object-oriented software. In IEEE International Conference on Software Maintenance, pages 171–184, Monterey, CA, November 1996.
11. Donglin Liang, Maikel Pennings, and Mary Jean Harrold. Extending and evaluating flow-insensitive and context-insensitive points-to analyses for Java. In Proc. ACM SIGPLAN/SIGSOFT Workshop on on Program Analysis for Software Tools and Engineering (PASTE’01), pages 73–79, Snowbird, Utah, 2001.
12. Oscar Nierstrasz and Dennis Tsichritzis (ed.). Object-Oriented Software Composition. Prentice Hall, 1995.
13. Tobias Nipkow and David von Oheimb. Javalight is type safe-definitely. In Proc. SIGPLAN/SIGACT Symposium on Principles of Program Languages (POPL’98), pages 161–170. ACM, January 1998.
14. Atanas Rountev, Ana Milanova, and Barbara G. Ryder. Points-to analysis for Java using annotated constraints. In Proc. ACM SIGPLAN Conf. on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA’01), Tampa, FL, 2001.
15. Atanas Rountev, Barbara G. Ryder, and William Landi. Data-flow analysis of program fragments. In Proceedings of Symposium on the Foundations of Software Engineering (FSE 1999), pages 235–252, Toulouse, France, 1999.
16. Barbara G. Ryder and Frank Tip. Change impact analysis for object-oriented programs. In Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE’01), pages 46–53, Snowbird, UT, June 2001.
17. Gregor Snelting and Frank Tip. Reengineering class hierarchies using concept analysis. In Proc. ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 99–110, Orlando, FL, November 1998.
18. G. Snelting and F. Tip. Understanding class hierarchies using concept analysis. ACM Trans. on Programming Languages and Systems, pages 540–582, May 2000.
19. Peri Tarr, Harold Ossher, William Harrison, and Stanley M. Sutton, Jr. N degrees of separation: Multi-dimensional separation of concerns. In Proceedings of the 1999 International Conference on Software Engineering, pages 107–119. IEEE Computer Society Press/ACM Press, May 1999.
20. Krishnaprasad Thirunarayan, Günter Kniesel, and Haripriyan Hampapuram. Simulating multiple inheritance and generics in Java. Computer Languages, 25:189–210, 1999.
21. Frank Tip and Jens Palsberg. Scalable propagation-based call graph construction algorithms. In Proc. ACM SIGPLAN Conf. on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA’00), pages 281–293, Minneapolis, MN, 2000. SIGPLAN Notices 35(10).
22. Mitchell Wand, Gregor Kiczales, and Christopher Dutchyn. A semantics for advice and dynamic join points in aspect-oriented programming. October 2001.
23. Andreas Zeller. Yesterday my program worked. Today, it does not. Why? In Proc. of the 7th European Software Engineering Conf./7th ACM SIGSOFT Symp. on the Foundations of Software Engineering (ESEC/FSE’99), pages 253–267, Toulouse, France, 1999.
24. Communications of the ACM. 44(10), October 2001. Special issue on Aspect-Oriented Programming.