Partial evaluation of pointcuts

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

Volumn 4354 LNCS, Issue , 2007, Pages 320-334

  Klose, Karl ^a   Ostermann, Klaus ^a   Leuschel, Michael ^b  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

^b HEINRICH HEINE UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DECLARATIVE LANGUAGES; PARTIAL EVALUATION; POINTCUT; POINTCUT DESIGNATORS; SPECIALISATION;

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE;

ALGORITHMS;

EID: 70450169635     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69611-7-21     Document Type: Conference Paper

References (22)

1. C. Allan, P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins, J. Lhotak, O. Lhotak, O. de Moor, D. Sereni, G. Sittampalam, and J. Tibble. Adding trace matching with free variables to aspectj. In Proceedings of O OPSLA 2005, pages 345-364, New York, NY, USA, 2005. ACM Press.
2. AspectJ Home Page. http://www.eclipse.org/aspectj/.
3. M. Calejo. Interprolog: Towards a declarative embedding of logic programming in java. In Proceedings of JELIA 2004, pages 714-717, 2004.
4. S. Chiba and K. Nakagawa. Josh: an open aspectj-like language. In Proceedings of AOSD 2004, pages 102-111, New York, NY, USA, 2004. ACM Press.
5. M. Eichberg, M. Mezini, and K. Ostermann. Pointcuts as functional queries. In Proceedings of APLAS 2004. Springer LNCS, 2004.
6. M. Eichberg, M. Mezini, K. Ostermann, and T. Schäfer. Xirc: A kernel for cross-artifact information engineering in software development environments. In B. Werner, editor, Eleventh Working Conference on Reverse Engineering, pages 182-191, Delft, Netherlands, November 2004. IEEE Computer Society.
7. S. Goldsmith, R. O'Callahan, and A. Aiken. Relational queries over program traces. In Proceedings of OOPSLA 2005, pages 385-402. ACM Press, 2005.
8. K. Gybels and J. Brichau. Arranging Language Features for More Robust Pattern-Based Crosscuts. In AOSD 2003 Proceedings, pages 60-69. ACM Press, 2003.
9. N. D. Jones, C. K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993.
10. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of AspectJ. In Proceedings of ECOOP 2001, pages 327-353. SpringerVerlag, 2001.
11. K. Klose and K. Ostermann. Back to the future: Pointcuts as predicates over traces. In Foundations of Aspect-Oriented Languages workshop (FOAL'05), Chicago, USA, 2005., 2005.
12. M. Leuschel, S. Craig, M. Bruynooghe, and W. Vanhoof. Specializing interpreters using offline partial deduction. In K.-K. L. Maurice Bruynooghe, editor, Program Development in Computational Logic. Springer Verlag, 2004.
13. M. Leuschel, J. Jørgensen, W. Vanhoof, and M. Bruynooghe. Offline specialisation in Prolog using a hand-written compiler generator. Theory and Practice of Logic Programming, 4(1): 139-191, 2004.
14. M. Martin, B. Livshits, and M. S. Lam. Finding application errors and security flaws using PQL: a program query language. In Proceedings of OOPSLA 2005, pages 365-383, New York, NY, USA, 2005. ACM Press.
15. H. Masuhara, G. Kiczales, and C. Dutchyn. A compilation and optimization model for aspect-oriented programs. In Proceedings of CC 2003. Springer, 2003.
16. K. Ostermann, M. Mezini, and C. Bockisch. Expressive pointcuts for increased modularity. In Proceedings of ECOOP 2005. Springer LNCS, 2005.
17. D. Sereni and O. de Moor. Static analysis of aspects. In Proceedings of AOSD'03. ACM, 2003.
18. Z. Somogyi, F. Henderson, and T. Conway. The execution algorithm of Mercury: An efficient purely declarative logic programming language. Journal of Logic Programming, 29(1-3): 17-64, 1996.
19. R. J. Walker and K. Viggers. Communication history patterns: Direct implementations of protocol specifications. Technical report, University of Calgary, 2004.
20. M. Wand, G. Kiczales, and C. Dutchyn. A semantics for advice and dynamic join points in aspect-oriented programming. TOPLAS 2004, 26(5): 890-910, 2004.
21. Q. Wang, G. Gupta, and M. Leuschel. Towards provably correct code generation via Horn logical continuation semantics. In Proceedings of PADL 2005, pages 98-112, 2005.
22. Q. Zhou and P. Tarau. Garbage Collection Algorithms for Java-Based Prolog Engines. In Proceedings of PADL 2003, pages 304-320, New Orleans, USA, 2003. Springer, LNCS 2562.