Splice: Aspects that analyze programs

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

Volumn 3286, Issue , 2004, Pages 19-38

  McDirmid, Sean ^a   Hsieh, Wilson C ^a  

^a Department of Electrical and Computer Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; LOGIC PROGRAMMING;

DOMAIN SPECIFIC; EXPRESS-ANALYSIS; FLOW OF DATA; INTER-PROCEDURAL; PROGRAM EXECUTION; PROGRAM MODIFICATIONS; RULE BASED; STATIC PROGRAM ANALYSIS;

DATA FLOW ANALYSIS;

EID: 35048851029     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30175-2_2     Document Type: Article

References (15)

1. K. R. Apt, H. A. Blair, and A. Walker. Towards a theory of declarative knowledge. In Foundations of Deductive Databases and Logic Programming, pages 89-147, 1988.
2. P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis by construction and approximation of fixpoints. In Proc. of POPL, pages 238-252, Jan. 1977.
3. R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. Efficient computing static single assignment form and the control dependence graph. In ACM Transactions on Programming Languages and Systems, 13(4), pages 84-97, Oct. 1991.
4. S. Dawson, C. R. Ramakrishnan, and D. S. Warren. Practical program analysis using general logic programming systems - a case study. In Proc. of PLDI, pages 117-126, June 1996.
5. K. De Volder. Type-oriented logic meta programming. PhD Thesis, 2001.
6. S. Drape, O. de Moor, and G. Sittampalam. Transforming the .NET intermediate language using path logic programming. In Proc. of PPDP, Oct. 2002.
7. D. R. Engler. Incorporating application semantics and control into compilation. In Proc. of DSL, pages 103-118, Oct. 1997.
8. S. Z. Guyer and C. Lin. An annotation language for optimizing software libraries. In Proc. of DSL, Oct. 1999.
9. G. Kiczales. The fun has just begun, Mar. 2003. Presentation at AOSD.
10. G. Kiczales, E. Hilsdale, J. Hungunin, M. Kersten, J. Palm, and W. Griswold. An overview of AspectJ. In Proc. of ECOOP, June 2001.
11. K. Lieberherr, D. H. Lorenz, and P. Wu. A case for statically executable advice: Checking the Law of Demeter with AspectJ. In Proc. of AOSD, Mar. 2003.
12. H. Masuhara and K. Kawauchi. Dataflow pointcut in aspect-oriented programming. In Proc. of APLAS, Nov. 2003.
13. T. Przymusinski. On the declarative semantics of deductive database and logic programs. In Foundations of Deductive Databases and Logic Programming, pages 193-216, 1988.
14. G. Sittampalam, O. de Moor, and K. F. Larsen. Incremental execution of transformation specifications. In Proc. of POPL, Jan. 2004.
15. R. Wuyts. Declarative reasoning about the structure of object-oriented systems. In Proc. of TOOLS USA, pages 112-124, 1998.