Early Identification of Incompatibilities in Multi-component Upgrades

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

Volumn 3086, Issue , 2004, Pages 440-464

  McCamant, Stephen ^a   Ernst, Michael D ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER OPERATING SYSTEMS;

MULTICOMPONENTS; MULTIPLE COMPONENTS; NEW COMPONENTS; NON DETERMINISM; OBJECT-ORIENTED SYSTEM; REAL WORLD SITUATIONS; SOFTWARE COMPONENT; THEORETICAL FRAMEWORK;

OBJECT ORIENTED PROGRAMMING;

EID: 35048870722     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24851-4_20     Document Type: Article

References (29)

1. America, P., van der Linden, F.: A parallel object-oriented language with inheritance and subtyping. In: Conference on Object-Oriented Programming, Systems, Languages, and Applications and 4th European Conference on Object-Oriented Programming (OOPSLA/ECOOP '90), Ottawa, Canada (1990) 161-168
2. Black, A., Hutchinson, N., Jul, E., Levy, H., Carter, L.: Distributed and abstract types in Emerald. IEEE Transactions on Software Engineering 13 (1987) 65-76
3. Cardelli, L.: A semantics of multiple inheritance. Information and Computation 76 (1988) 138-164
4. Chen, Y., Cheng, B.H.C.: A semantic foundation for specification matching. In: Foundations of Component-Based Systems. Cambridge University Press, New York, NY (2000) 91-109
5. Detlefs, D., Nelson, G., Saxe, J.B.: Simplify: A theorem prover for program checking. Technical Report HPL-2003-148, HP Labs, Palo Alto, CA (2003)
6. Dhara, K.K., Leavens, G.T.: Forcing behavioral subtyping through specification inheritance. In: Proceedings of the 18th International Conference on Software Engineering, Berlin, Germany, IEEE Computer Society Press (1996) 258-267
7. Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM 18 (1975) 453-457
8. Ernst, M.D.: Practical fine-grained static slicing of optimized code. Technical Report MSR-TR-94-14, Microsoft Research, Redmond, WA (1994)
9. Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering 27 (2001) 1-25
10. A previous version appeared in JCSE '99, Proceedings of the 21st International Conference on Software Engineering, pages 213-224, Los Angeles, CA, USA, May 19-21, 1999.
11. Flanagan, C., Saxe, J.B.: Avoiding exponential explosion: Generating compact verification conditions. In: Proceedings of the 28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, London, UK (2001) 193-205
12. Free Software Foundation: GNU C library (2003) http://HWW,gnu.org/ software/libc/libc.html.
13. Jones, C.B.: Systematic Software Development using VDM. Second edn. Prentice Hall (1990)
14. Leavens, G.T., Dhara, K.K.: Concepts of behavioral subtyping and a sketch of their extension to component-based systems. In: Foundations of Component-Based Systems. Cambridge University Press, New York, NY (2000) 113-135
15. Liskov, B.H., Wing, J.M.: A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems 16 (1994) 1811-1841
16. McCamant, S., Ernst, M.D.: Predicting problems caused by component upgrades. In: Proceedings of the 10th European Software Engineering Conference and the llth ACM SIGSOFT Symposium on the Foundations of Software Engineering, Helsinki, Finland (2003) 287-296
17. McCamant, S., Ernst, M.D.: Predicting problems caused by component upgrades. Technical Report 941, MIT Laboratory for Computer Science, Cambridge, MA (2004) Revision of first author's Master's thesis.
18. Moisan, S., Ressouche, A., Rigault, J.P.: Behavioral substitutability in component frameworks: A formal approach. In: Proceedings of the 2003 Workshop of Specification and Verification of Component Based Systems, Helsinki, Finland. (2003)
19. Necula, G.C.: Translation validation for an optimizing compiler. In: Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation, Vancouver, BC, Canada (2000) 83-94
20. Necula, G.C., Lee, P.: The design and implementation of a certifying compiler. In: Proceedings of the ACM SIGPLAN'98 Conference on Programming Language Design and Implementation, Montreal, Canada (1998) 333-344
21. Nierstrasz, O.: Regular types for active objects. In: Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, ACM Press (1993) 1-15
22. Penix, J., Alexander, P.: Toward automated component adaptation. In: Proceedings of the 9th International Conference on Software Engineering and Knowledge Engineering (SEKE-97), Madrid, Spain, June 18-20, 1997. (1997)
23. Reps, T., Horwitz, S., Sagiv, M.: Precise interprocedural dataflow analysis via graph reachability. In: Proceedings of the 22nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, CA (1995) 49-61
24. Schaffert, C., Cooper, T., Bullis, B., Kilian, M., Wilpolt, C.: An introduction to Trellis/Owl. In: Conference on Object-Oriented Programming Systems, Languages and Applications, Portland, OR, USA (1986) 9-16
25. Schumann, J., Fischer, B.: NORA/HAMMR: Making deduction-based software component retrieval practical. In: Proceedings of the 1997 International Conference on Automated Software Engineering (ASE '97), Lake Tahoe, California. (1997) 246-254
26. The Open Group, ed.: The Single UNIX Specification, Version 3. The Open Group (2003) http : //www. unix. org/version3/.
27. Tip, F.: A survey of program slicing techniques. Journal of Programming Languages 3 (1995) 121-189
28. Yang, W., Horwitz, S., Reps, T.: A program integration algorithm that accommodates semantics-preserving transformations. ACM Transactions on Software Engineering and Methodology 1 (1992) 310-354
29. Zaremski, A.M., Wing, J.M.: Specification matching of software components. ACM Transactions on Software Engineering and Methodology 6 (1997) 333-369