The FermaT assembler re-engineering workbench

IEEE International Conference on Software Maintenance, ICSM

Volumn , Issue , 2001, Pages 659-662

  Ward, M P ^a  

^a DE MONTFORT UNIVERSITY   (United Kingdom)

Author keywords

Assembler; Comprehension; Formal methods; Legacy systems; Program transformation; Re engineering; Restructuring; Reverse engineering migration; Wide spectrum language; WSL

Indexed keywords

COMPREHENSION; MIGRATION; PROGRAM TRANSFORMATION; RESTRUCTURING; WIDE SPECTRUM LANGUAGE;

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE MAINTENANCE; COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA FLOW ANALYSIS; FLOWCHARTING; LEGACY SYSTEMS; REENGINEERING; REVERSE ENGINEERING; SEMANTICS;

PROGRAM ASSEMBLERS;

EID: 77956612838     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSM.2001.972783     Document Type: Conference Paper

References (12)

1. Gianfranco Bilardi & Keshav Pingali, "The Static Single Assignment Form and its Computation," Cornell University Technical Report, July, 1999, .
2. R. Cytron, J. Ferrante, B.K. Rosen, M.N. Wegman & F.K. Zadeck,' "Efficiently Computing Static Single Assignment Form and the Control Dependance Graph," Trans. Programming Lang. and Syst. 13 (July, 1991), 451-490.
3. S. Elliott, C.L.A. Clarke, R.C. Holt & A. M. Cox, "Browsing and Searching Software Architectures.
4. T. Lengauer & R. E. Tarjan, "A Fast Algorithm for Finding Dominators in a Flowgraph," Trans. Programming Lang. and Syst. 1 (July, 1979), 121-141.
5. T. C. Lethbridge & J. Singer, "Understanding Software Maintenance Tools: Some Empirical Research," IEEE Workshop on Empirical Studies of Software Maintenance (WESS'97), Bari, Italy (Oct., 1997).
6. Keshav Pingali & Gianfranco Bilardi, "Optimal Control Dependence Computation and the Roman Chariots Problem," Trans. Programming Lang. and Syst. (May, 1997), .
7. S. Robitaille, R. Schauer & R. K. Keller, "Bridging Program Comprehension Tools by Design Navigation," IEEE International Conference on Software Maintenance, San Jose, CA (Oct., 2000).
8. S. E. Sim, C. L. A. Clarke & R. C. Holt, "Archetypal Source Code Searches: A Survey of Software Developers and Maintainers," International Workshop on Program Comprehension (1998).
9. J. Singer, T. C. Lethbridge, N. Vinson & N. Anquetil, "An Examination of Software Engineering Work Practices," Proceedings of CASCON '97, Toronto, Canada (1997).
10. M. Ward, "Assembler to C Migration using the FermaT Transformation System," International Conference on Software Maintenance, 30th Aug-3rd Sept 1999, Oxford, England (1999).
11. M. Ward, "Reverse Engineering from Assembler to Formal Specifications via Program Transformations," 7th Working Conference on Reverse Engineering, 23-25th November, Brisbane, Queensland, Australia (2000), .
12. M. Weiser, "Program slicing," IEEE Trans. Software Eng. 10 (July, 1984), 352-357.