Declarative Intraprocedural Flow Analysis of Java Source Code

Electronic Notes in Theoretical Computer Science

Volumn 238, Issue 5, 2009, Pages 155-171

  Nilsson Nyman, Emma ^a   Hedin, Görel ^a   Magnusson, Eva ^a   Ekman, Torbjörn ^b  

^a LUND UNIVERSITY   (Sweden)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

analysis; attribute grammars; compiler; control flow; data flow; declarative; Java

Indexed keywords

ANALYSIS; ATTRIBUTE GRAMMARS; COMPILER; CONTROL-FLOW; DATA-FLOW; DECLARATIVE; JAVA;

COMPUTER AIDED LANGUAGE TRANSLATION; COMPUTER SOFTWARE; CONTEXT SENSITIVE GRAMMARS; JAVA PROGRAMMING LANGUAGE; PROGRAM COMPILERS; PULSATILE FLOW;

DATA FLOW ANALYSIS;

EID: 70349386126     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.09.046     Document Type: Article

References (17)

1. Antlr, 2007. http://www.antlr.org/
2. JastAdd, 2007. http://jastadd.org
3. Purdue Bloat, 2007. http://sourceforge.net/projects/javabloat/
4. Aho A.V., Sethi R., and Ullman J.D. Compilers Principles, Techniques and Tools (1986), Addison-Wesley
5. Allen F.E. Control flow analysis. SIGPLAN Not. 5 7 (1970) 1-19
6. Boyland J.T. Remote attribute grammars. J. ACM 52 4 (2005) 627-687
7. Torbjörn Ekman and Görel Hedin. The JastAdd Extensible Java Compiler. In OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications, pages 1-18, 2007
8. Rodney Farrow. Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars. In Proceedings of CC'86, pages 85-98. ACM Press, 1986
9. Hedin G. Reference Attributed Grammars. Informatica (Slovenia) 24 3 (2000) 301-317
10. Knuth D.E. Semantics of context-free languages. Mathematical Systems Theory 2 2 (June 1968) 127-145 Correction:
11. Knuth D.E. Semantics of context-free languages. Mathematical Systems Theory 5 1 (March 1971) 95-96
12. Eva Magnusson, Torbjörn Ekman, and Görel Hedin. Extending attribute grammars with collection attributes - evaluation and applications. In Proceedings of Seventh IEEE Working Conference on Source Code ANalysis and Manipulation, September 2007
13. Magnusson E., and Hedin G. Circular reference attributed grammars - their evaluation and applications. Science of Computer Programming 68 1 (August 2007) 21-37
14. J.D. Morgenthaler. Static Analysis for a Software transformation Tool. Ph.D. thesis, University of San Diego, California, 1997
15. 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
16. H.H. Vogt, S.D. Swierstra, and M.F. Kuiper. Higher order attribute grammars. In Proceedings PLDI'89, pages 131-145. ACM Press, 1989
17. Eric Van Wyk, Lijesh Krishnan, August Schwerdfeger, and Derek Bodin. Attribute Grammar-based Language Extensions for Java. In Proceedings of ECOOP'07, LNCS. Springer, 2007