Efficient Implementation of Adaptive Software

ACM Transactions on Programming Languages and Systems (TOPLAS)

Volumn 17, Issue 2, 1995, Pages 264-292

  Palsberg, Jens ^a   Xiao, Cun ^a   Lieberherr, Karl ^a  

^a NORTHEASTERN UNIVERSITY   (United States)

Author keywords

Adaptive software; correctness proof; object traversal

Indexed keywords

ADAPTIVE SYSTEMS; C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); DATA STRUCTURES; GRAPH THEORY; OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS; RECURSIVE FUNCTIONS; SOFTWARE ENGINEERING; THEOREM PROVING;

ADAPTIVE SOFTWARE; CORRECTNESS PROOF; OBJECT TRAVERSAL; REUSABLE SOFTWARE;

COMPUTER SOFTWARE;

EID: 0029277801     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/201059.201066     Document Type: Article

References (38)

1. Abiteboul S. And Bonner A. 1991. Objects and views. In Proceedings of ACM SIGMOD International Conference on management of Data, J. CLIFFORD AND R. KING, Eds. ACM Press, New York, 238-247.
2. Bergstein P. 1991. Object-preserving class transformations. In Proceedings ‘OOPSLA’91, ACM SIGPLAN 6th Annual Conference on Object-Oriented Programming Systems, Languages and Applications. ACM, New York, 299–313.
3. Booch G. 1994. Design an application framework. Dr. Dobbs J. 19, 2 (Feb.), 24–32.
4. Booch, G. 1990. The design of the C++ Booch components. In Object-Oriented Programming Systems, Languages and Applications Conference. ACM Press, New York, 1–11.
5. Ceri S., Tanaka K., And Tsur S., (Eds.) 1993. Deductive And Object-Oriented Databases. Lecture Notes In Computer Science, Vol. 760. Springer-Verlag, Berlin.
6. Coburn N. AND WEDDELL G. E. 1991. Path constraints for graph-based data models: Towards a unified theory of typing constraints, equations, and functional dependencies. In 2nd International Conference, Dood'91 C. DELOBEL, M. KIFER AND Y. MASUNAGA, Eds. Springer-Verlag, Berlin, 313–331.
7. Dayal U. 1989, Queries and views in an object-oriented data model. In Proceedings of the 2nd International Workshop on Database Programming Languages, R. Hull R. Morrrison, and D. STEMPLE, Eds. Morgan Kaufmann, San Mateo, Calif., 80–102.
8. Proceedings Deductive and Object-Oriented Databases An extension of path expressions to simplify navigation in object-oriented queries. In Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1993
9. Den Bussche J. V. And Vossen G. 1993. An extension of path expressions to simplify navigation in object-oriented queries. In Proceedings Deductive and Object-Oriented Databases. Lecture Notes in Computer Science, vol. 760. Springer-Verlag, Berlin, 267–282.Ellis M. A. And Stroustrup B. 1990. The Annotated C++ Reference Manual. Addison-Wesley, Reading, Mass.
10. Gamma E., Helm R., Johnson R., And Vlissides J. 1995. Design Patterns; Elements Of Reusable Object-Oriented Software. Addison-Wesley, Reading, Mass.
11. Gibbs S., Tsichritzis D., Casais E., Nierstrasz O., And Pintado X. 1990. Class Management For Software Communities. Commun. Acm 33, 9 (Sept.), 90–103.
12. Goldberg A. AND ROBSON D. 1983. Smalltalk-80-The Language and its Implementation. Addison-Wesley, Reading, Mass.
13. Goldman N. M. 1989. Code walking and recursive descent: A generic approach. In Proceedings 2nd CLOS Users and Implementors Workshop. ACM Press, New York.
14. Harrison W. AND OSSHER H. 1991. Structure-bound messages: Separating navigation from processing. Manuscript. IBM T. J. Watson Research Center.
15. Keszenheimer L. 1993. Specifying and adapting object behavior during system evolution. In Conference on Software Maintenance. IEEE Press, New York, 254–261,
16. Kiczales G. AND LAMPING J. 1992. Issues in the design and documentation of class libraries. In Proceedings OOPSLA } 92, ACM SIGPLAN 7th Annual Conference on Object-Oriented Programming Systems, Languages and Applications. ACM, New York, 435–451.
17. Kifer M., Kim W., And Sagiv Y. 1992. Querying Object-Oriented Databases. In Proceedings Of Acm/Sigmod Annual Conference On Management Of Data, M. Stonebraker Ed. Acm, New York, 393–402.
18. Lamping J. And Abadi M. 1994. Methods As Assertions. In European Conference On Object-Oriented Programming, R. Pareschi And M. Tokoro Eds. Lecture Notes In Computer Science, Vol. 821. Springer-Verlag, Berlin, 60–80.
19. Company, Lieberherr K. J. 1995. The Art Of Growing Adaptive Object-Oriented Software. Pws Publishing Boston.
20. Lieberherr K. J. 1992. Component enhancement: An adaptive reusability mechanism for groups of collaborating classes. In Information Processing 92 12th World Computer Congress, J. VAN LEEUWEN, Ed. Elsevier, New York, 179–185.
21. Lieberherr K. J. And Holland I. 1989. Assuring good style for object-oriented programs. IEEE Softw., 38–48.
22. Lieberherr K. J. AND XIAO C. 1993. Minimizing dependency on class structures with adaptive programs. In International Symposium on Object Technologies for Advanced Software, S. NISHIO and A. YONEZAWA, Eds. Lecture Notes in Computer Science, vol. 742. Springer-Verlag, Berlin, 424–441.
23. Lieberherr K. J. and Xiao C. 1993. Object-oriented software evolution. IEEE Trans. Softw. Eng. 19, 4 (Apr.), 313–343.
24. Lieberherr K. J., Horsch W., SILVA-LEPE I., AND XIAO C. 1992. Experience with a graph-based propagation pattern programming tool. In International Workshop on CASE, FORTE, G. et al., Eds. IEEE Computer Society, Washington, D.C., 114–119.
25. Lieberherr K. J., Silva-Lepe I., AND XIAO C. 1994. Adaptive object-oriented programming using graph-based customization. Commun. ACM 37, 5 (May), 94–101.
26. Markowitz V. M. And Shoshani A. 1993. Object queries over relational databases: Language, implementation, and application. In Proceedings 9th International Conference on Data Engineering. IEEE Press, New York, 71–80.
27. Markowitz, V. M. And Shoshani A. 1989. Abbreviated query interpretation in entity-relationship oriented databases. Lawrence Berkeley Lab. Berkeley, Calif.
28. MEYER. B. 1988 Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs, N.J.
29. Palsberg J. And Schwartzbach M. I. 1994 Object-Oriented Type Systems. John Wiley h Sons, New York.
30. Bumbaugh J. 1988. Controlling propagation of operations using attributes on relations In Object-Orzented Programming Systems, Languages and Applications Conference. ACM Press, New York, 285-297.
31. Steele G. L. 1990. Common Lisp. The Language, 2nd ed. Digital Press, Burlington, Mass.
32. Compiler Construction waite w. AND Goos G. Springer-Verlag, Berlin. 1990
33. Waite W. AND Goos G. 1984. Compiler Construction. Springer-Verlag, Berlin.WildeN. And Huitt R. 1992. Maintenance support for object-oriented programs. IEEE Trans. on Softw. Eng. 18, 12 (Dec.), 1038–1044.
34. Wilde N And Ruitt R. 1991. Maintenance support for object-oriented programs. In Conference on Software Maintenance. IEEE Press, New York, 162–170.
35. Wilde N., Matthews. P., And Huitt R. 1993. Maintaining object-oriented software. IEEE Softw., 75–80.
36. Wile D. S. 1986. Organizing programming knowledge into syntax-directed experts. In Proceedings International Workshop on Advanced Programming Environments. Lecture Notes in Computer Science, vol. 244. Springer-Verlag, Berlin, 551–565.
37. Wile D. S. 1983. Program developments: Formal explanations of implementations. Commun. ACM 26, 11 (Nov.), 902–911
38. Wile D. S. AND Balzer R. M. 1994. Architecture-based compilation. Manuscript, sponsored by ARPA.