Evolving transformation sequences using genetic algorithms

Proceedings - Fourth IEEE International Workshop on Source Code Analysis and Manipulation

Volumn , Issue , 2004, Pages 65-74

  Fatiregun, Deji ^a   Harman, Mark ^a   Hierons, Robert M ^a  

^a BRUNEL UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

MARKOV MODELS; PROGRAM FRAGMENTS; PROGRAM TRANSFORMATION; RANDOM SEARCH (RS) ALGORITHM;

COMPUTER SOFTWARE; FUNCTIONS; GENETIC ALGORITHMS; MARKOV PROCESSES; MATHEMATICAL MODELS; OPTIMIZATION; PROGRAM COMPILERS; SEMANTICS;

COMPUTER PROGRAMMING;

EID: 14344250449     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCAM.2004.11     Document Type: Conference Paper

References (17)

1. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, techniques and tools. Addison Wesley, 1986.
2. I. D. Baxter. Transformation systems: Domain-oriented component and implementation knowledge. In Proceedings of the Ninth Workshop on Institutionalizing Software Reuse, Austin, TX, USA, Jan. 1999.
3. K. H. Bennett. Do program transformations help reverse engineering? In IEEE International Conference on Software Maintenance (ICSM'98), pages 247-254, Bethesda, Maryland, USA, Nov. 1998. IEEE Computer Society Press, Los Alamitos, California, USA.
4. G. Canfora, A. Cimitile, and A. De Lucia. Conditioned program slicing. In M. Harman and K. Gallagher, editors, Information and Software Technology Special Issue on Program Slicing, volume 40, pages 595-607. Elsevier Science B. V., 1998.
5. K. D. Cooper, P. J. Schielke, and D. Subramanian. Optimising for reduced code space using genetic algorithms. In Proceedings of the 1999 Workshop on Languages, Compilers and Tools for Embedded Systems (LCTES), May 1999.
6. st century. Journal of Super Computing, 2002.
7. J. Darlington and R. M. Burstall. A tranformation system for developing recursive programs. J. ACM, 24(1):44-67, 1977.
8. D. Fatiregun, M. Harman, and R. Hierons. Search based transformations. In Genetic and Evolutionary Computation Conference, pages 2511-2512, Chicago, USA, July 2003. Springer.
9. M. S. Feather. A system for assisting program transformation. ACM Transactions on Programming Languages and Systems, 4(1):1-20, Jan. 1982.
10. M. Harman, C. Fox, R. M. Hierons, L. Hu, S. Danicic, and J. Wegener. Vada: A transformation-based system for variable dependence analysis. In IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), pages 55-64, Montreal, Canada, Oct. 2002. IEEE Computer Society Press, Los Alamitos, California, USA. Voted best paper by attendees.
11. M. Harman, L. Hu, R. Hierons, A. Baresel, and H. Sthamer. Improving evolutionary testing by flag removal. In GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, pages 1359-1366, New York, 9-13 July 2002. Morgan Kaufmann Publishers.
12. A. Nisbet. GAPS: A compiler framework for genetic algorithm (GA) optimised parallelisation. In HPCN Europe, pages 987-989, 1998.
13. C. Ryan. Automatic re-engineering of software using genetic programming. Kluwer Academic Publishers, 2000.
14. E. Visser, Z. Benaissa, and A. Tolmach. Building program optimizers with rewriting strategies. In Proceedings of the International Conference on Functional Programming (ICFP'98), Baltimore, USA, September 1998.
15. M. Ward. Reverse engineering through formal transformation. The Computer Journal, 37(5), 1994.
16. M. Ward. Assembler to C migration using the FermaT transformation system. In IEEE International Conference on Software Maintenance (ICSM'99), Oxford, UK, Aug. 1999. IEEE Computer Society Press, Los Alamitos, California, USA.
17. Y. Zou and K. Kontogiannis. Migration to object oriented platforms: A state tranformation approach. In Proceedings of the IEEE International Conference on Software Maintenance, (ICSM 02), pages 530-539, Montreal, Canada, October 2002. IEEE Computer Society Press, Los Alamitos, California. USA.