A declarative framework for analysis and optimization

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

Volumn 4420 LNCS, Issue , 2007, Pages 218-232

  Falconer, Henry ^a   Kelly, Paul H J ^a   Ingram, David M ^a   Mellor, Michael R ^a   Field, Tony ^a   Beckmann, Olav ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); DATA FLOW ANALYSIS; DATABASE SYSTEMS; OPTIMIZATION;

CODE BAASES; CODE BLOCKS; CONTROL FLOW; PROGRAM ANALYSIS;

COMPUTER SOFTWARE;

EID: 37149036581     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71229-9_15     Document Type: Conference Paper

References (21)

1. Bram Adams and Tom Tourwé. Aspect orientation for C: Express yourself. In AOSD SPLAT Workshop, 2005.
2. Alexander Ahern and Nobuko Yoshida. Formalising Java RMI with explicit code mobility. In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, pages 403-422, New York, NY, USA, 2005. ACM Press.
3. Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Bruno Dufour, Christopher Goard, Laurie Hendren, Sascha Kuzins, Jennifer Lhotk, Ondrej Lhotk, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble, and Clark Verbrugge. ABC the AspectBench compiler for AspectJ: A workbench for aspect-oriented programming language and compilers research. In OOPSLA '05: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 88-89, New York, NY, USA, 2005. ACM Press.
4. Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, and Julian Tibbie. Adding trace matching with free variables to AspectJ. In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, pages 345-364, New York, NY, USA, 2005. ACM Press.
5. Dirk Beyer and Claus Lewerentz. CrocoPat: Efficient pattern analysis in objectoriented programs. In Proceedings of the 11th IEEE International Workshop on Program Comprehension (IWPC 2003, Portland, OR, May 10-11), pages 294-295. IEEE Computer Society Press, Los Alamitos (CA), 2003.
6. James R. Cordy, Charles D. Halpern-Hamu, and Eric Promislow. TXL: a rapid prototyping system for programming language dialects. Computer Languages, 16(1):97-107, 1991.
7. Kei Davis and Daniel J. Quinlan. Rose: An optimizing transformation system for C++ array-class libraries. In ECOOP '98: Workshop on Object-Oriented Technology, pages 452-453, London, UK, 1998. Springer-Verlag.
8. Dawson R. Engler. Incorporating application semantics and control into compilation. In USENIX Conference on Domain-Specific Languages (DSL'97), pages 103-118. USENIX, 1997.
9. Elnar Hajiyev, Mathieu Verbaere, and Oege de Moor. Codequest: Scalable source code queries with datalog. In Dave Thomas, editor, ECOOP'06: Proceedings of the 20th European Conference on Object-Oriented Programming, volume 4067 of Lecture Notes in Computer Science, pages 2-27, Berlin, Germany, 2006. Springer.
10. Shan Shan Huang, David Zook, and Yannis Smaragdakis. Statically safe program generation with SafeGen. In GPCE, pages 309-326, 2005.
11. David Lacey, Neil Jones, Eric Van Wyk, and Carl Christian Frederikson. Proving correctness of compiler optimizations by temporal logic. Higher-Order and Symbolic Computation, 17(2), 2004.
12. Ramnivas Laddad. Aspect J in Action: Practical Aspect-Oriented Programming. Manning Publications Co., Greenwich, CT, USA, 2003.
13. Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin, and Christopher Unkel. Context-sensitive program analysis as database queries. In PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pages 1-12, New York, NY, USA, 2005. ACM Press.
14. Sorin Lerner, Todd Millstein, Erika Rice, and Craig Chambers. Automated soundness proofs for dataflow analyses and transformations via local rules. In POPL 2005: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 364-377, New York, NY, USA, 2005. ACM Press.
15. Hidehiko Masuhara and Kazunori Kawauchi. Dataflow pointcut in aspect-oriented programming. In The First Asian Symposium on Programming Languages and Systems (APLAS'03), volume 2895 of Lecture Notes in Computer Science, pages 105-121. Spinger-Verlag, November 2003.
16. The Eclipse Foundation Inc. The Eclipse extensible development platform.
17. Raja Vallée-Rai, Laurie Hendren, Vijay Sundaresan, Patrick Lam, Etienne Gagnon, and Phong Co. SOOT - a Java optimization framework. In Proceedings of CASCON 1999, pages 125-135, 1999.
18. Mathieu Verbaere, Ran Ettinger, and Oege de Moor. JunGL: a scripting language for refactoring. In ICSE '06: Proceeding of the 28th international conference on Software engineering, pages 172-181, New York, NY, USA, 2006. ACM Press.
19. Eelco Visser. Program transformation with Stratego/XT: Rules, strategies, tools, and systems in StrategoXT-0.9. In C. Lengauer et al., editors, Domain-Specific Program Generation, volume 3016 of Lecture Notes in Computer Science, pages 216-238. Springer-Verlag, June 2004.
20. Kris De Volder. Jquery: A generic code browser with a declarative configuration language. In Pascal Van Hentenryck, editor, PADL '06: Eighth International Symposium on Practical Aspects of Declarative Languages, volume 3819 of Lecture Notes in Computer Science, pages 88-102. Springer, 2006.
21. Kwok Cheung Yeung and Paul H. J. Kelly. Optimising Java RMI programs by communication restructuring. In Proceedings of the ACM/IFIP/USENIX International Middleware Conference 2003, Rio De Janeiro, Brazil, 16-20 June 2003, LNCS, June 2003.