Strategic Programming Meets Adaptive Programming

2nd International Conference on Aspect-Oriented Software Development

Volumn , Issue , 2003, Pages 168-177

  Lämmel, Ralf ^a   Visser, Eelco ^b   Visser, Joost ^c  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

^c SIG   (Netherlands)

Author keywords

Adaptive programming; Aspect oriented programming; Generic programming; Language design; Program analysis; Program transformation; Strategic programming; Strategy; Traversal

Indexed keywords

COMPUTER SOFTWARE; DATA PROCESSING;

ADAPTIVE PROGRAMMING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 19244383660     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/643603.643621     Document Type: Conference Paper

References (22)

1. O. S. Bagge, M. Haveraaen, and E. Visser. CodeBoost: A Framework for the Transformation of C++ Programs. Technical Report UU-CS-2001-32, Institute of Information and Computing Sciences, Utrecht University, 2001.
2. M. Brand, P. Klint, and J. Vinju. Term rewriting with traversal functions. Technical Report SEN-R0121, CWI, July 2001.
3. A. v. Deursen and J. Visser. Building Program Understanding Tools using Visitor Combinators. In Proc. of 10th Int. Workshop on Program Comprehension, IWPC 2002. IEEE Computer Society, 2002.
4. J. Jeuring and P. Jansson. Polytypic programming. In J. Launchbury, E. Meijer, and T. Sheard, editors, 2nd Int. School on Advanced Functional Programming, Olympia, WA, USA, 26-30 Aug 1996, volume 1129 of LNCS, pages 68-114. Springer-Verlag, 1996.
5. R. Lämmel. The Sketch of a Polymorphic Symphony. In B. Gramlich and S. Lucas, editors, Proc. of Inter. Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002), volume 70 of ENTCS. Elsevier Science, 2002. 21 pages.
6. R. Lämmel. Typed Generic Traversal With Term Rewriting Strategies. Journal of Logic and Algebraic Programming, 54:1-64, September 2002.
7. R. Lämmel and J. Visser. Typed Combinators for Generic Traversal. In S. Krishnamurthi and C. Ramakrishnan, editors, Proc. of PAUL 2002, Portland, OR, USA, volume 2257 of LNCS. Springer-Verlag, Jan. 2002.
8. R. Lämmel, J. Visser, and J. Kort. Dealing with Large Bananas. In J. Jeuring, editor, Proc. of WGP'2000, Technical Report, Universiteit Utrecht, pages 46-59, July 2000.
9. K. Lieberherr. Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns. PWS Publishing Company, Boston, 1996.
10. K. Lieberherr, D. Orleans, and J. Ovlinger. Aspect-oriented programming with adaptive methods. CACM, 44(10):39-41, Oct. 2001.
11. K. Lieberherr and B. Patt-Shamir. Traversals of Object Structures: Specification and Efficient Implementation. Technical Report NU-CCS-97-15, Northeastern University, Boston, 1997.
12. K. Lieberherr, B. Patt-Shamir, and S. Pradhan. An Efficient Compiler for Adaptive Programs. Technical Report NU-CCS-97-03, Northeastern University, Boston, 1997.
13. K. Lieberherr and M. Wand. Navigating through Object Graphs Using Local Meta-Information. Submitted for publication, June 2002.
14. E. Meijer, M. Fokkinga, and R. Paterson. Functional Programming with Bananas, Lenses, Envelopes, and Barbed Wire. In Proc. of FPCA'91, volume 523 of LNCS. Springer-Verlag, 1991.
15. D. Orleans and K. Lieberherr. DJ: Dynamic Adaptive Programming in Java. In A. Yonezawa and S. Matsuoka, editors, Reflection 2001: Meta-level Architectures and Separation of Crosscutting Concerns, volume 2192 of LNCS, pages 73-80, Kyoto, Japan, Sept. 2001. Springer-Verlag.
16. J. Ovlinger and M. Wand. A Language for Specifying Recursive Traversals of Object Structures. In Proc. of the 1999 ACM SIGPLAN Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '99), pages 70-81, 1999.
17. J. Palsberg, B. Patt-Shamir, and K. Lieberherr. A new approach to compiling adaptive programs. Science of Computer Programming, 29(3):303-326, Sept. 1997.
18. J. Palsberg, C. Xiao, and K. J. Lieberherr. Efficient implementation of adaptive software. ACM Trans. Prog. Lang. Syst., 17(2):264-292, Mar. 1995.
19. L. Paulson. A Higher-Order Implementation of Rewriting. Science of Computer Programming, 3(2): 119-149, Aug. 1983.
20. E. Visser. Stratego: A Language for Program Transformation based on Rewriting Strategies. System Description of Stratego 0.5. In A. Middeldorp, editor, Rewriting Techniques and Applications (RTA'01), volume 2051 of LNCS, pages 357-361. Springer-Verlag, May 2001.
21. J. Visser. Visitor combination and traversal control. ACM SIGPLAN Notices, OOPSLA 2001 Conf. Proc., 36(11):270-282, Nov. 2001.
22. E. Visser, Z.-e.-A. Benaissa, and A. Tolmach. Building program optimizers with rewriting strategies. In Proc. of the 3rd ACM SIGPLAN Inter. Conf, on Functional Programming (ICFP'98), pages 13-26. ACM Press, Sept. 1998.