Re-engineering needs Generic Programming Language Technology

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 32, Issue 2, 1997, Pages 54-61

  Van Den Brand, Mark ^a   Klint, Paul ^a,b   Verhoef, Chris ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

^b CWI   (Netherlands)

Author keywords

D.2.6 Software Engineering : Programming Environments Interactive; D.2.7 Software Engineering : Distribution and Maintenance Restructuring; D.3.2 Programming Languages : Language Classifications Specialized application languages; Re engineering

Indexed keywords

EID: 0345985561     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/251621.251633     Document Type: Article

References (51)

1. H. Alblas and B. Melichar, editors. International Summer School on Atribute Grammars, Applications and Systems, volume 545 of Lecture Notes in Computer Science. Springer-Verlag, 1991.
2. Z. Ammarguellat. A control-flow normalization algorithm and its complexity. IEEE Transactions on Software Engineering, 18(3):237-251, 1992.
3. ANSI Programming Language - COBOL, ANSI X3.23-1985. American National Standards Institute, 1985.
4. R.S. Arnold. Software Reengineering. IEEE Computer Society Press, 1993.
5. A.V. Aho, R. Sethi, and J.D. Ullman. Compilers. Principles, Techniques and Tools. Addison-Wesley, 1986.
6. P. Borras, D. Clément, Th. Despeyroux, J. Incerpi, B. Lang, and V. Pascual. CENTAUR: the system. In Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, pages 14-24, 1989. Appeared as SIGPLAN Notices 24(2).
7. J. A. Bergstra, T. B. Dinesh, J. Field, and J. Heering. A complete transformational toolkit for compilers. In H. R. Nielson, editor, Programming Languages and Systems (ESOP '96), volume 1058 of Lecture Notes in Computer Science, pages 92-107. Springer-Verlag, 1996. Full version: Technical Report RC 20342, IBM T. J. Watson Research Center, Yorktown Heights, and Technical Report CS-R9601, Centrum voor Wiskunde en Informatica (CWI), Amsterdam. The full version will appear in TOPLAS.
8. J. Beck and D. Eichmann. Program and interface slicing for reverse engineering. In [WC93], pages 54-63, 1993.
9. P. Baumann, J. Fässler, M. Kiser, Z. Öztürk, and L. Richter. Semantics-based reverse engineering. Technical Report 94.08, Department of Computer Science, University of Zurich, Switzerland, 1994.
10. P. Baumann, J. Fässler, M. Kiser, and Z. Öztürk. Beauty and the Beast or A Formal Description of the Control Constructs of Cobol and its Implementation. Technical Report 93.39, Department of Computer Science, University of Zurich, Switzerland, 1993.
11. M.G.J. van den Brand, P. Klint, and C. Verhoef. Core technologies for system renovation. Technical Report P9614, University of Amsterdam, Programming Research Group, 1996. To appear in the proceedings of SOFSEM'96.
12. M.G.J. van den Brand, P. Klint, and C. Verhoef. Reverse engineering and system renovation - an annotated bibliography. Technical Report P9603, University of Amsterdam, Programming Research Group, 1996. To appear in ACM Software Engineering Notes.
13. R. Bahlke and G. Snelting. The PSG system: from formal language definitions to interactive programming environments. ACM Transactions on Programming Languages and Systems, 8(4):547-576, 1986.
14. E.J. Byrne. Software reverse engineering: A case study. Software - Practice and Experience, 21(12):1349-1364, 1991.
15. E.J. Chikofsky and J.H. Cross. Reverse engineering and design recovery: A taxonomy. IEEE Software, 7(1):13-17, 1990.
16. G. Canfora, A. Cimitile, and U. De Carlini. A reverse engineering process for design level document production from ada code. Information and Software Technology, 35(1):23-34, 1993.
17. F. Cutillo, P. Fiore, and G. Visaggio. Identification and extraction of "domain independent" components in large programs. In [WC93], pages 83-92, 1993.
18. C. Cifuentes and V. Malhota. Binary translation: Static, dynamic, retargable? In N.F. Schneidewind, editor, International Conference on Software Maintenance, pages 340-349. IEEE, 1996.
19. Y-F. Chen, M.Y. Nishimoto, and C.V. Ramamoorthy. The C information abstraction system. IEEE Transactions on Software Engineering, 16(3):325-334, 1990.
20. A. van Deursen, J. Heering, and P. Klint, editors. Language Prototyping: An Algebraic Specification Approach, volume 5 of AMAST Series in Computing. World Scientific Publishing Co., 1996.
21. [Fie92] J. Field. A simple rewriting semantics for realistic imperative programs and its application to program analysis. In Proc. ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 98-107, San Francisco, June 1992. Published as Yale University Technical Report YALEU/DCS/RR-909.
22. R. Gray, T. Bickmore, and S. Williams. Reengineering cobol systems to ada. Technical report, In Vision Software Reengineering, Software Technology Center, Lockheed Palo Alto Laboratories, 1995.
23. R. Gupta, M. Harrold, and M. Soffa. An approach to regression testing using slicing. In [Kel92], pages 299-308, 1992.
24. K. Gallagher and J. Lyle. Using program slicing in software maintenance. IEEE Transactions on Software Engineering, 17(8):751-761, 1991.
25. R.J. Hall. Automatic extraction of executable program subsets by simultaneous dynamic program slicing. Automated Software Engineering, 2:33-53, 1995.
26. M. S. Hecht. Flow Analysis of Computer Programs. Elsevier, Amsterdam, 1977.
27. J. Heering, P.R.H. Hendriks, P. Klint, and J. Rekers. The syntax definition formalism SDF - reference manual, version 6 December, 1992. Earlier version in SIGPLAN Notices, 24(11):43-75, 1989. ftp://ftp.cwi.nl/pub/gipe/reports/SDFmanual.ps.Z.
28. J. Heering, P.R.H. Hendriks, P. Klint, and J. Rekers. The syntax definition formalism SDF - reference manual, version 6 December, 1992. Earlier version in SIGPLAN Notices, 24(11):43-75, 1989. ftp://ftp.cwi.nl/pub/gipe/reports/SDFmanual.ps.Z.
29. C. Hankin and H.R. Nielson. Symposium on models of programming languages and computation. ACM Computing Surveys, 28(2):293-359, 1996.
30. S.C. Johnson. YACC: yet another compiler-compiler. Bell Laboratories, 1986. UNIX Programmer's Supplementary Documents, Volume 1 (PS1).
31. M. Kellner, editor. Proceedings Conference on Software Maintenance. IEEE Computer Society Press, 1992.
32. P. Klint. A meta-environment for generating programming environments. ACM Transactions on Software Engineering and Methodology, 2(2):176-201, 1993.
33. M.E. Lesk and E. Schmidt. LEX - A lexical analyzer generator. Bell Laboratories, unix programmer's supplementary documents, volume 1 (ps1) edition, 1986.
34. P.I. Manuel. ANSI COBOL III in SDF + an ASF definition of a Y2K tool. Master's thesis, University of Amsterdam, Programming Research Group, 1996.
35. L. Moonen. Data flow analysis for reverse engineering. Technical Report P96113, University of Amsterdam, Programming Research Group, 1996.
36. Marlowe and Ryder. Properties of data flow frameworks. A unified model. Acta Informatica, 28:121-163, 1990.
37. J. Ning, A. Engberts, and W. Kozaczynski. Recovering reusable components from legacy systems. In [WC93], pages 64-72, 1993.
38. Ph. Newcomb and L. Markosian. Automating the modularization of large COBOL programs: application of an enabling technology for reengineering. In [WC93], pages 222-230, 1993.
39. D. Olshefski and A. Cole. A prototype system for static and dynamic program understanding. In [WC93], pages 93-106, 1993.
40. G. Oulsnam. Unraveling unstructured programs. The Computer Journal, 25(3):379-387, 1982.
41. S. Paul and A. Prakash. A framework for source code search using program patterns. IEEE Transactions on Software Engineering, 20(6):463-475, 1994.
42. S. Paul and A. Prakash. Supporting queries on source code: A formal framework. International Journal of Software Engineering and Knowledge Engineering, 4(3):325-348, 1994.
43. Reasoning Systems, Palo Alto, California. REFINE User's Guide, 1992.
44. J. Rekers. Parser Generation for Interactive Environments. PhD thesis, University of Amsterdam, 1992. Available by ftp from ftp.cwi.nl:/pub/gipe/reports as Rek92.ps.Z.
45. T. Reps and T. Teitelbaum. The Synthesizer Generator: a System for Constructing Language-Based Editors. Springer-Verlag, 1989.
46. SEEC, Inc., 5001 Baum Boulevard, Pittsburgh, PA 15213. SEEC COBOL Analyst, 1996.
47. F. Tip. A survey of program slicing techniques. Journal of programming languages, 3:121-189, 1995.
48. M. Tomita. Efficient Parsing for Natural Languages. Kluwer Academic Publishers, 1985.
49. R.C. Waters and E.J. Chikofsky, editors. Proceedings of Working Conference on Reverse Engineering. IEEE Computer Society Press, 1993.
50. R. Wilhelm and D. Maurer. Compiler Design. Addison-Wesley Publisher Ltd., 1995.
51. H. van Zuylen, editor. The ReDo compendium: reverse engineering for software maintenance. Wiley, 1993.