Portability by automatic translation: A large-scale case study

Artificial Intelligence

Volumn 107, Issue 1, 1999, Pages 1-28

  Feldman, Yishai A ^a   Friedman, Doron A ^b  

^a INTERDISCIPLINARY CENTER   (Israel)

^b TEL AVIV UNIVERSITY   (Israel)

Author keywords

Abstraction; Bogart; Portability; Re implementation; Software migration; Transformation

Indexed keywords

ARTIFICIAL INTELLIGENCE; C (PROGRAMMING LANGUAGE); DATABASE SYSTEMS; LEGACY SYSTEMS; PROGRAM ASSEMBLERS;

SOFTWARE MIGRATION;

PROGRAM TRANSLATORS;

EID: 0032638823     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(98)00101-5     Document Type: Article

References (31)

1. R.S. Arnold, Software reengineering: A quick history, Comm. ACM 37 (1994) 13-14.
2. B. Bennett, T. Bull, H. Yang, A transformation system for maintenance - turning theory into practice, in: Proc. Conference Software Maintenance, IEEE Computer Society Press, Silver Springs, MD, 1992, pp. 146-155.
3. R. Brooks, Towards a theory of the comprehension of computer programs, Internat. J. Man-Machine Studies 18 (1983) 543-554.
4. D.C. Brotsky, An algorithm for parsing flow graphs, Technical Report 704, MIT Artificial Intelligence Lab., Cambridge, MA, 1984 (M.Sc. Thesis).
5. C. Cifuentes, Partial automation of an integrated reverse engineering environment of binary code, in: Proc. 3rd Working Conference Reverse Engineering, Monterey, CA, 1996, pp. 50-56.
6. Y. Cohen, Y.A. Feldman, Automatic high-quality reengineering of database programs by temporal abstraction, in: Proc. 12th IEEE International Conference Automated Software Engineering, Incline Village, NV, 1997, pp. 90-97.
7. G. Faust, Semiautomatic translation of COBOL into HIBOL, Technical Report 256, MIT Lab. for Computer Science, Cambridge, MA, 1981 (M.Sc. Thesis).
8. D.A. Friedman, Portability by automatic translation: A large-scale case study, M.Sc. Thesis, Department of Computer Science, Tel Aviv University, 1995.
9. M.T. Harandi, J.Q. Ning, Knowledge-based program analysis, IEEE Software 7 (1) (1990) 74-81.
10. P.A. Hausler, M.G. Pleszkoch, R.C. Linger, A.R. Hevner, Using function abstraction to understand program behavior, IEEE Software 7 (1) (1990) 55-63.
11. W.L. Johnson, A. Erdem, Interactive explanation of software systems, in: Proc. 10th Knowledge-Based Software Engineering Conference, Boston, MA, 1995, pp. 155-164.
12. R.H. Katz, E. Wong, Decompiling CODASYL DML into relational queries, ACM Trans. Database Systems 7 (1) (1982) 1-23.
13. T. Lake, T. Blanchard, Reverse engineering of assembler programs: A model-based approach and its logical basis, in: Proc. 3rd Working Conference Reverse Engineering, Monterey, CA, 1996, pp. 67-75.
14. L. Markosian, P. Newcomb, R. Brand, S. Burson, T. Kitzmiller, Using an enabling technology to reengineer legacy systems, Comm. ACM 37 (5) (1994) 58-70.
15. P. Morris, R.E. Filman, Mandrake: A tool for reverse-engineering IBM assembly code, in: Proc. 3rd Working Conference Reverse Engineering, Monterey, CA, 1996, pp. 57-66.
16. J.Q. Ning, A. Engberts, W. Kozaczynski, Automated support for legacy code understanding, Comm. ACM 37 (5) (1994) 50-57.
17. W. Polak, L.D. Nelson, T.W. Bickmore, Reengineering IMS databases to relational systems, in: Proc. 7th Annual Software Technology Conference, Salt Lake City, UT, 1995. Published on CD-ROM.
18. C. Potts, Software-engineering research revisited, IEEE Software 10 (5) (1993) 19-28.
19. C. Rich, A formal representation for plans in the Programmer's Apprentice, in: Proc. 7th International Joint Conference Artificial Intelligence (IJCAI-81), Vancouver, British Columbia, 1981, pp. 1044-1052. Reprinted in: M. Brodie, J. Mylopouios, J. Schmidt (Eds.), On Conceptual Modelling, Springer, New York, NY, 1984, pp. 239-270;
20. C. Rich, A formal representation for plans in the Programmer's Apprentice, in: Proc. 7th International Joint Conference Artificial Intelligence (IJCAI-81), Vancouver, British Columbia, 1981, pp. 1044-1052. Reprinted in: M. Brodie, J. Mylopouios, J. Schmidt (Eds.), On Conceptual Modelling, Springer, New York, NY, 1984, pp. 239-270;
21. and in: C. Rich, R.C. Waters (Eds.), Readings in Artificial Intelligence and Software Engineering, Morgan Kaufmann, San Mateo, CA, 1986.
22. C. Rich, R.C. Waters, The Programmer's Apprentice, Addison-Wesley, Reading, MA/ACM Press, Baltimore, MD, 1990.
23. S.N. Roberts, R.L. Piazza, D.G. Katz, A portable assembler reverse engineering environment (PARE), in: Proc. 3rd Working Conference Reverse Engineering, Monterey, CA, 1996, pp. 77-85.
24. E. Soloway, K. Ehrlich, Empirical studies of programming knowledge, IEEE Trans. Software Engineering 10 (5) (1984) 595-609. Reprinted in: C. Rich. R.C. Waters (Eds.), Readings in Artificial Intelligence and Software Engineering, Morgan Kaufmann, San Mateo, CA, 1986.
25. E. Soloway, K. Ehrlich, Empirical studies of programming knowledge, IEEE Trans. Software Engineering 10 (5) (1984) 595-609. Reprinted in: C. Rich. R.C. Waters (Eds.), Readings in Artificial Intelligence and Software Engineering, Morgan Kaufmann, San Mateo, CA, 1986.
26. G. Struble, Assembler Language Programming: The IBM System/360, Addison Wesley, Reading, MA, 1969.
27. R.C. Waters, Program translation via abstraction and reimplementation, IEEE Trans. Software Engineering 14 (8) (1988) 1207-1228.
28. L.M. Wills, Automated program recognition: A feasibility demonstration, Artificial Intelligence 45 (1-2) (1990) 113-172.
29. L.M. Wills, Automated program recognition by graph parsing, Technical Report 1358, MIT Artificial Intelligence Lab., Cambridge, MA, 1992 (Ph.D. Thesis).
30. L.M. Wills, Flexible control for program recognition, in: Proc. 1 st Working Conference Reverse Engineering, IEEE Computer Society Press, Silver Springs, MD, 1993, pp. 134-143.
31. L.M. Wills, Using attributed flow graph parsing to recognize clichés in programs, in: J. Cuny, H. Ehrig, G. Engels, G. Rozenberg (Eds.), Graph Grammars and Their Application to Computer Science, Lecture Notes in Computer Science, Vol. 1073, Springer, Berlin, 1996, pp. 170-184.