Specialization patterns

Proceedings ASE 2000: 15th IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2000, Pages 197-206

  Schultz, U P ^a   Lawall, J I ^a,b   Consel, C ^a,c  

^a CAMPUS DE BEAULIEU   (France)

^b UNIVERSITY OF COPENHAGEN   (Denmark)

^c UNIVERSITÉ BORDEAUX 1   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN; SOFTWARE ENGINEERING;

DESIGN PATTERNS; PROGRAM SPECIALIZATION; PROGRAM STRUCTURES;

SOFTWARE DESIGN;

EID: 3042849794     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2000.873664     Document Type: Conference Paper

References (31)

1. G. Aigner and U. Hölzle. Eliminating virtual function calls in C++ programs. In Proceedings of the European Conference on Object-oriented Programming (ECOOP'96), volume 1098 of Lecture Notes in Computer Science, pages 142-166, Lisbon, Portugal, June 1996. Springer.
2. L. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, Computer Science Department, University of Copenhagen, May 1994. DIKU Technical Report 94/19.
3. R. Baier, R. Glück, and R. Zöchling. Partial evaluation of numerical programs in Fortran. In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 119-132, Orlando, FL, USA, June 1994. Technical Report 94/9, University of Melbourne, Australia.
4. A. Bondorf. Self-Applicable Partial Evaluation. PhD thesis, DIKU, University of Copenhagen, Denmark, 1990. Revised version: DIKU Report 90/17.
5. J. Bosch. Design patterns as language constructs. Journal of Object-Oriented Programming. Nov. 1996.
6. B. Calder and D. Grunwald. Reducing indirect function call overhead in C++ programs. In Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages, pages 397-408. ACM Press, 1994.
7. C. Chambers and D. Ungar. Customization: Optimizing compiler technology for SELF, A dynamically-typed object-oriented programming language. In B. Knobe, editor, Proceedings of the SIGPLAN '89 Conference on Programming Language Design and Implementation (SIGPLAN '89), pages 146-160, Portland, OR, USA, June 1989. ACM Press.
8. C. Consel. A tour of Schism: a partial evaluation system for higher-order applicative languages. In Partial Evaluation and Semantics-Based Program Manipulation, pages 66-77, Copenhagen, Denmark, June 1993. ACM Press.
9. C. Consel, L. Hornof, F. Noël, J. Noyé, and E. Volanschi. A uniform approach for compile-time and run-time specialization. In O. Danvy, R. Glück, and P. Thiemann, editors, Partial Evaluation, International Seminar, Dagstuhl Castle, number 1110 in Lecture Notes in Computer Science, pages 54-72, Feb. 1996.
10. A. Cornils and G. Hedin. Statically checked documentation with design patterns. In R. Mitchell, J. Jezequel, J. Bosch, B. Meyer, A. C. Wills, and M. Woodman, editors, Proceedings of TOOLS Europe 33, pages 419-431, Mt. St. Michel, France, June 2000. IEEE Computer Society Press.
11. J. Dean, C. Chambers, and D. Grove. Selective specialization for object-oriented languages. ACM SIGPLAN Notices, 30(6):93-102, June 1995.
12. J. Dean, G. DeFouw, D. Grove, V. Litvinov, and C. Chambers. Vortex: an optimizing compiler for object-oriented languages. In OOPSLA' 96 Conference, pages 93-100, San Jose (CA), Oct. 1996.
13. J. Dean, D. Grove, and C. Chambers. Optimization of object-oriented programs using static class hierarchy analysis. In Proceedings of ECOOP'95, Aarhus, Denmark, Aug. 1995. Springer-Verlag.
14. D. Detlefs and O. Agesen. Inlining of virtual methods. In ECOOP'99 [16], pages 258-278.
15. K. Driesen and U. Hölzle. The direct cost of virtual function calls in C++. In OOPSLA'96 Conference Proceedings, volume 31, 10 of ACM SIGPLAN Notices, pages 306-323, New York, NY, USA, Oct. 1996. ACM Press.
16. Proceedings of the European Conference on Object-oriented Programming (ECOOP '99), volume 1628 of Lecture Notes in Computer Science, Lisbon, Portugal, June 1999.
17. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994.
18. D. Grove, J. Dean, C. Garrett, and C. Chambers. Profile-guided receiver class prediction. In Proceedings of OOP-SLA '95, pages 108-123, Austin, TX, Oct. 1995.
19. G. Hedin. Language support for design patterns using attribute extension. In J. Bosch and S. Mitchell, editors, ECOOP'97 Workshop Reader, volume 1357 of Lecture Notes in Computer Science, pages 137-140. Springer-Verlag, June 1998.
20. U. Hölzle and D. Ungar. Optimizing dynamically-dispatched calls with run-time type feedback. In Proceedings of the Conference on Programming Language Design and Implementation, pages 326-336, New York, NY, USA, June 1994. ACM Press.
21. S. Krishnamurthi, Y. Erlich, and M. Felleisen. Expressing structural properties as language constructs. In S. Swierstra, editor, Programming Languages and Systems, 8th European Symposium on Programming (ESOP'99), volume 1576 of Lecture Notes in Computer Science, pages 258-272. Springer-Verlag, 1999.
22. J. Lawall and G. Muller. Efficient incremental checkpointing of Java programs. In Proceedings of the International Conference on Dependable Systems and Networks, New York, NY, USA, June 2000. IEEE. To appear.
23. J. Lloyd and J. Shepherdson. Partial evaluation in logic programming. Journal of Logic Programming, 11:217-242, 1991.
24. R. Marlet, S. Thibault, and C. Consel. Mapping software architectures to efficient implementations via partial evaluation. In Conference on Automated Software Engineering, pages 183-192, Lake Tahoe, NV, USA, Nov. 1997. IEEE Computer Society.
25. T. Meijler, S. Demeyer, and R. Engel. Making design patterns explicit in FACE, a framework adaptive composition environment. In M. Jazayeri and H. Schauer, editors, Proceedings ESEC/FSE '97, volume 1301 of Lecture Notes in Computer Science, pages 94-110. Springer-Verlag, Sept. 1997.
26. J. Plevyak and A. A. Chien. Precise concrete type inference for object-oriented languages. In OOPSLA '94 Conference Proceedings, volume 29:10 of SIGPLAN Notices, pages 324-324. ACM, Oct. 1994.
27. U. Schultz, J. Lawall, and C. Consel. Specialization patterns. Research Report 3853, INRIA, Rennes, France, Jan. 2000. Extended version.
28. U. Schultz, J. Lawall, C. Consel, and G. Muller. Towards automatic specialization of Java programs. In ECOOP'99 [16], pages 367-390.
29. M. Shaw and D. Garlan. Software Architecture. Prentice Hall, 1996.
30. T. Tourwe and W. De Meuter. Optimizing object-oriented languages through architectural transformations. In S. Jähnichen, editor, Compiler Construction - 8th International Conference, CC '99, volume 1575 of Lecture Notes in Computer Science, pages 244-258, Amsterdam, The Netherlands, Mar. 1999. Springer-Verlag.
31. E. Volanschi, C. Consel, G. Muller, and C. Cowan. Declarative specialization of object-oriented programs. In OOPSLA'97 Conference Proceedings, pages 286-300, Atlanta, GA, USA, Oct. 1997. ACM Press.