Generation of components for software renovation factories from context-free grammars

Science of Computer Programming

Volumn 36, Issue 2, 2000, Pages 209-266

  Van Den Brand, Mark ^a   Sellink, Alex ^a   Verhoef, Chris ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COBOL (PROGRAMMING LANGUAGE); CODES (SYMBOLS); CONTEXT FREE GRAMMARS; REVERSE ENGINEERING;

LANGUAGE MIGRATION; SOFTWARE RENOVATION FACTORY;

SOFTWARE ENGINEERING;

EID: 0033906860     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6423(99)00037-4     Document Type: Article

References (110)

1. H. Alblas, B. Melichar (Eds.), International Summer School on Attribute Grammars, Applications and Systems, Lecture Notes in Computer Science, Vol. 545, Springer, Berlin, 1991.
2. American National Standards Institute, Inc. Programming Language - COBOL, ANSI X3.23-1985 edition, 1985.
3. J.W. Backus, The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM conference, in: S. de Picciotto (Ed.), Proc. Int. Conf. on Information Processing, Unesco, Paris, 1960, pp. 125-131.
4. Bahlke R., Snelting G. The PSG system: from formal language definitions to interactive programming environments. ACM Trans. Programming Languages Systems. 8:1986;547-576.
5. Ballance R.A., Graham S.L., van de Vanter M.L. The Pan language-based editing system. ACM Trans. Software Eng. Methodol. 1:1992;95-127.
6. Basili V.R., Caldiera G., Cantone G. A reference architecture of the component factory. ACM Trans. Software Eng. Methodol. 1:1992;53-80.
7. A. van den Bergh, Logical expressions: analysing, normalising and generalising - adapting a scientific implementation in a commerical environment, MS Thesis, University of Amsterdam, Programming Research Group, 1999.
8. J.A. Bergstra, J. Heering, P. Klint, The algebraic specification fomalism ASF, in: J.A. Bergstra, J. Heering, P. Klint (Eds.), Algebraic Specification, ACM Press Frontier Series, The ACM Press in co-operation with Addison-Wesley, New York, Reading, MA, 1989, pp. 1-66.
9. P. Borras, D. Clément, T. Despeyroux, J. Incerpi, G. Kahn, B. Lang, V. Pascual, Centaur: the system, SIGPLAN Notices 24 (2) (1989) 14-24; Proc. ACM SIGSOFT/SIGPLAN Software Engineering Symp. on Practical Software Development Environments.
10. Bolyle J.M. A transformational component for programming language grammar, Technical Report ANL-7690. 1970;Argonne National Laboratory, Argonne, Illinois.
11. J.M. Boyle, T.J. Harmer, V.L. Winter, The TAMPR program transformation system: design and applications, in: The SciTools'96 Electronic Proc., 1996, 13 p. http://www.oslo.sintef.no/SciTools96/Contrib/boyle/scitlpap.912.ps.
12. van den Brand M.G.J., van Deursen A., Klint P., Klusener S., van der Meulen E.A. Industrial applications of ASF+SDF. Wirsing M., Nivat M. Algebraic Methodology and Software Technology (AMAST'96), Lecture Notes in Computer Science. Vol. 1101:1996;9-18 Springer, Berlin.
13. M.G.J. van den Brand, P. Klint, C. Verhoef, Term rewriting for sale, in: C. Kirchner, H. Kirchner (Eds.), Second International Workshop on Rewriting Logic and its Applications, Electronic Notes in Theoretical Computer Science, Springer, Berlin, 1998. Available at: http://adam.wins.uva.nl/ ̃x/sale/sale.html.
14. M.G.J. van den Brand, M.P.A. Sellink, C. Verhoef, Generation of components for software renovation factories from context-free grammars, in: I.D. Baxter, A. Quilici, C. Verhoef (Eds.), Proc. 4th Working Conf. on Reverse Engineering, pp. 144-153, 1997. Available at http://adam.wins.uva.nl/ ̃x/trans/trans.html.
15. M.G.J. van den Brand, M.P.A. Sellink, C. Verhoef, Obtaining a COBOL grammar from legacy code for reengineering purposes, in: M.P.A. Sellink (Ed.), Proc. 2nd Int. Workshop on the Theory and Practice of Algebraic Specifications, electronic Workshops in Computing, Springer, Berlin, 1997. Available at http://adam.wins.uva.nl/ ̃x/coboldef/coboldef.html.
16. M.G.J. van den Brand, M.P.A. Sellink, C. Verhoef, Control flow normalization for COBOL/CICS legacy systems, in: P. Nesi, F. Lehner (Eds.), Proc. 2nd Euromicro Conf. on Maintenance and Reengineering, 1998, pp. 11-19. Available at http://adam.wins.uva.nl/ ̃x/cfn/cfn.html.
17. M.G.J. van den Brand, M.P.A. Sellink, C. Verhoef, Current parsing techniques in software renovation considered harmful, in: S. Tilley, G. Visaggio (Eds.), Proc. 6th Int. Workshop on Program Comprehension, 1998, pp. 108-117. Available at http://adam.wins.uva.nl/ ̃x/ref/ref.html.
18. van den Brand M.G.J., Visser E. Generation of formatters for context-free languages. ACM Trans. Software Eng. Methodol. 5:1996;1-41.
19. Cleaveland J.C. Building application generators. IEEE Software. 5(4):1988;25-33.
20. Cleaveland J.C., Kintala C.M.R. Tools for building application generators. AT & T Technical J. 67(4):1988;46-58.
21. Clocksin W.F., Mellish C.S. Programming in Prolog. 1985;Springer, Berlin.
22. Cordy J.R., Halpern-Hamu C.D., Promislow E. TXL. a rapid prototyping system for programming language dialects Comput. Languages. 16(1):1991;97-107.
23. T. Despeyroux, Typol: a formalism to implement Natural Semantics, Technical Report 94, INRIA Sophia-Antipolis, 1988.
24. van Deursen A. An overview of ASF+SDG. van Deursen A., Heering J., Klint P. Language Prototyping. An Algebraic Specification Approach, AMAST Series in Computing Vol. 5:1996;1-29 World Scientific, Singapore.
25. A. van Deursen, J. Heering, P. Klint (Eds.), Language Prototyping: An Algebraic Specification Approach, AMAST Series in Computing, Vol. 5, World Scientific, Singapore, 1996.
26. van Deursen A., Kuipers T. Finding classes in legacy code using cluster analysis. Demeyer S., Gall H. Proc. ESEC/FSE'97 Workshop on Object-Oriented Reengineering, Report TUV-1841-97-10. 1997;Technical University of Vienna.
27. van Deursen A., Moonen L. Type inference for COBOL systems. Blaha M.R., Quilici A., Verhoef C. Proc. 5th Working Conf. on Reverse Engineering, IEEE Computer Society. 1998;220-230 Silver Spring, MD.
28. A. van Deursen, S. Woods, A. Quilici, Program plan recognition for year 2000 tools, in: I.D. Baxter, A. Quilici, C. Verhoef (Eds.), Proc. 4th Working Conf. on Reverse Engineering, 1997, pp. 124-133. Also in: Science of Computer Programming 36 (2000) 303-324.
29. A. van Deursen, S. Woods, A. Quilici, Program plan recognition for year 2000 tools, in: I.D. Baxter, A. Quilici, C. Verhoef (Eds.), Proc. 4th Working Conf. on Reverse Engineering, 1997, pp. 124-133. Also in: Science of Computer Programming 36 (2000) 303-324.
30. P.T. Devanbu, GENOA - a language and front-end independent source code analyzer generator, in: Proc. 14th Int. Conf. on Software Engineering, IEEE, 1992, pp. 307-319.
31. Devanbu P.T., Rosenblum D.R., Wolf A.L. Generating testing and analysis tools with Aria. ACM Trans. Software Eng. Methodol. 5(1):1996;42-62.
32. V. Donzeau-Gouge, G. Huet, G. Kahn, B. Lang, Programming environments based on structured editors: the Mentor experience, Technical Report No. 26, INRIA, Rocquencourt, France, 1980.
33. Donzeau-Gouge V., Huet G., Kahn G., Lang B. Programming environments based on structured editors. the Mentor experience Barstow D.R., Shrobe H.E., Sandewall E. Interactive Programming Environments. 1984;128-140 McGraw-Hill, New York.
34. H. Ehrig, B. Mahr, Fundamentals of Algebraic Specifications, Vol. I, Equations and Initial Semantics, Springer, Berlin, 1985.
35. S.M. Eker, A comparison of OBJ3 and ASF+SDF, Report CS-R9223, CWI, Amsterdam, 1992.
36. Emendo Software Group, The Netherlands. Emendo Y2K White paper, 1998. Available at http://www.emendo.com/.
37. Engels G., Lewerentz C., Nagl M., Schäfer W., Schürr A. Building integrated software development environments part I: tool specification. ACM Trans. Software Eng. Methodol. 1(2):1992;135-167.
38. Fokkink W.J., Verhoef C. Conservative extension in positive/negative conditional term rewriting with applications to software renovation factories. Finance J.-P. Proc. 2nd Conf. on Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science. Vol. 1577:1999;98-113 Springer, Amsterdam.
39. D.P. Freedman, G.M. Weinberg, Handbook of Walkthroughs, Inspections and Technical Reviews, Dorset House, 3rd Ed. 1990, Originally published by Little, Brown & Company, 1982.
40. Goguen J.A., Kirchner C., Kirchner H., Mégrelis A., Meseguer J., Winkler T. An introduction to OBJ3. Kaplan S., Jouannaud J.-P. Conditional Term Rewriting Systems (CTRS'88), Lecture Notes in Computer Science. Vol. 308:1988;258-263 Springer, Berlin.
41. M. van der Graaf, A specification of Box to HTML in ASF+SDF, Technical Report P9720, University of Amsterdam, Programming Research Group, 1997. Available at http://ftp.wins.uva.nl/pub/programming-research/reports/1997/P9720.ps.Z.
42. Gray R.W., Heuring V.P., Levi S.P., Sloane A.M., Waite W.M. Eli. a complete, flexible compiler construction system Comm. ACM. 35(2):1992;121-131.
43. Habermann A.N., Notkin D. Gandalf. Software development environments IEEE Trans. Software Eng. SE-12:1986;1117-1127.
44. B. Hall, Year 2000 tools and services, In Symposium/ITxpo 96, The IT Revolution Continues: Managing Diversity in the 21st Century, Gartner Group, 1996.
45. T. Harmer, P. McParland, J. Boyle, Using knowledge-based transformations to reverse engineer COBOL programs, in: 11th Knowledge-Based Software Engineering Conference, IEEE-CS-Press, 1996.
46. Heering J., Hendriks P.R.H., Klint P., Rekers J. The syntax definition formalism SDF - reference manual. SIGPLAN Notices. 24(11):1989;43-75.
47. J. Heering, G. Kahn, P. Klint, B. Lang, Generation of interactive programming environments, in: The Commission of the European Communities (Ed.), Esprit'85 - Status Report of Continuing Work 1, North-Holland, Amsterdam, 1986, pp. 467-477.
48. J. Heering, P. Klint, The prehistory of ASF+SOF (1980-1984), in: M.G.J. van den Brand, A. van Deursen, T.B. Dinesh, J.F.T. Kamperman, E. Visser (Eds.), ASF+SDG'95: A Workshop on Generating Tools from Algebraic Specifications, Technical Report P9504, FWI, 1995, pp. 1-4.
49. J.M. Hullot, CEYX, a multiformalism programming environment, Technical Report No. 210, INRIA, Rocquencourt, France, 1980.
50. IBM Corporation, COBOL/370 Migration Guide, release 1 ed., 1992.
51. INRIA, Rocquencourt. LeLisp, Version 15.23, reference manual, 1990.
52. INRIA, A Centaur Tutorial, 2.0 ed., 1994. Available at http://www.inria.fr/croap/centaur/tutorial/tutorial.ps.
53. S.C. Johnson, YACC - Yet Another Compiler-Compiler. Technical Report Computer Science No. 32, Bell Laboratories, Murray Hill, New Jersey, 1975.
54. Capers Jones The Year 2000 Software Problem - Quantifying the Costs and Assessing the Consequences. 1998;Addison-Wesley, Reading, MA.
55. N. Jones, Year 2000 market overview, Technical Report, Gartner Group, Stamford, CT, USA, 1998.
56. Kahn G. Natural Semantics. Brandenburg F.J., Vidal-Naquet G., Wirsing M. Fourth Symp. on Theoretical Aspects of Computer Science (STACS'87), Lecture Notes in Computer Science. Vol. 247:1987;22-39 Springer, Berlin.
57. Kahn G., Lang B., Mélèse B., Morcos E. Metal. a formalism to specify formalisms Sci. Comput. Programming. 3:1983;151-188.
58. Kamperman J.F.T. Compilation of term rewriting systems, Ph.D. Thesis. 1996;University of Amsterdam.
59. Kaplan S. Conditional rewrite rules. Theoret. Comput. Sci. 33(2):1984;175-193.
60. Kaplan S. A compiler for conditional term rewriting systems. Lescanne P. Proc. 1st Int. Conf. on Rewriting Techniques, Lecture Notes in Computer Science. Vol. 256:1987;25-41 Springer, Berlin.
61. Kaplan S. Positive/negative conditional rewriting. Kaplan S., Jouannaud J.-P. Conditional Term Rewriting Systems, of Lecture Notes in Computer Science. Vol. 308:1988;129-143 Springer, Berlin.
62. Kernighan B.W., Ritchie D.M. The C Programming Language. 1978;Prentice-Hall, Englewood Cliffs, NJ.
63. P. Klint, A survey of three language-independent programming environments, Technical Report IW 240/83, Mathematisch Centrum, Department of Computer Science, 1983. Also appeared as INRIA Report RR 257.
64. Klint P. A meta-environment for generating programming environments. ACM Trans. Software Eng. Methodology. 2(2):1993;176-201.
65. P. Klint, The ASF+SDF Meta-Environment user's guide, 1995. Available via: ftp//ftp.cwi.nl/pub/gipe/reports/SysManual.ps.Z.
66. P. Klint, C. Verhoef, Evolutionary software engineering: a component-based approach, in: R.N. Horspool (Ed.), IFIP WG 2.4 Working Conference: Systems Implementation 2000: Languages, Methods and Tools, Chapman & Hall, London, 1998, pp. 1-18. Available at: http://adam.wins.uva.nl/ ̃x/evol-se/evol-se.html.
67. Klop J.W. Term rewriting systems. Handbook of Logic in Computer Science. Vol. II:1992;1-116 Oxford University Press, Oxford.
68. J.W.C. Koorn, GSE: a generic text and structure editor, in: J.L.G. Diets (Ed.), Computing Science in the Netherlands (CSN92), SION, 1992, pp. 168-177.
69. J.W.C. Koorn, Connecting semantic tools to a syntax-directed user-interface, in: H.A. Wijshoff (Ed.), Computing Science in the Netherlands (CSN93), SION, 1993, pp. 217-228.
70. Koorn J.W.C. Generating uniform user-interfaces for interactive programming environments, Ph.D. Thesis. 1994;University of Amsterdam.
71. Lang B. Deterministic techniques for efficient non-deterministic parsers. Loeckx J. Proc. 2nd Colloquium on Automata, Languages and Programming, Lectures Notes in Computer Science. Vol. 14:1974;255-269 Springer, Berlin.
72. M.E. Lesk, E. Schmidt, LEX - A lexical analyzer generator, Bell Laboratories, UNIX Programmer's Supplementary Documents, Vol. 1, (PS1) edition, 1986.
73. Levine J.R., Mason T., Brown D. lex & yacc. 2nd Edition:1992;O'Reilly & Associates, Inc.
74. McCabe T.J. A complexity measure. IEEE Trans. Software Eng. SE-12(3):1976;308-320.
75. Medina-Mora R. Syntax-directed editing. towards integrated programming environments, Ph.D. Thesis:1982;Carnegie-Mellon University, Department of Computer Science.
76. Medina-Mora R., Notkin D.S. ALOE users' and implementors' guide, Technical Report CMU-CS-81-145. 1981;Carnegie-Mellon University, Department of Computer Science.
77. Moonen L. A generic architecture for data flow analysis to support reverse engineering. Sellink M.P.A. Proc. 2nd Int. Workshop on the Theory and Practice of Algebraic Specifications, electronic Workshop in Computing. 1997;Springer, Berlin.
78. Morcos-Chounet E., Conchon A. PPML. a general formalism to specify pretty printing Kugler H.-J. Information Processing 86. 1986;583-590 Elsevier, Amsterdam.
79. Newcomb P.H., Scott M. Requirements for Advanced Year 2000 Maintenance Tools. IEEE Computer. 30(3):1997;52-57.
80. Reasoning Systems, Palo Alto, California, DIALECT user's guide, 1992.
81. Reasoning Systems, Palo Alto, California, INTERVISTA user's guide, 1992.
82. Reasoning Systems, Palo Alto, California, Refine User's Guide, 1992.
83. J. Rekers, Parser generation for interactive environments, Ph.D. Thesis, University of Amsterdam, 1992. Available via ftp://ftp.cwi.nl/pub/gipe/reports/Rek92.ps.Z.
84. T. Reps, T. Teitelbaum, The synthesizer generator, SIGPLAN Notices, 19(5) (1984) 42-48, Proc. ACM SIGSOFT/SIGPLAN Software Eng. Symp. on Practical Software Development Environments.
85. Reps T., Teitelbaum T. The Synthesizer Generator. A System for Constructing Language-Based Editors 3rd Edition:1989;Springer, Berlin.
86. H. Reubenstein, R. Piazza, S. Roberts, Separating parsing and analysis in reverse engineering tools, Proc. 1st Working Conf. on Reverse Engineering, 1993, pp. 117-125.
87. Riedewald G. The LDL - Language Development Laboratory. Kastens U., Pfahler P. Compiler Construction (CC'92), Lecture Notes in Computer Science. Vol. 641:1992;88-94 Springer, Berlin.
88. A. Schürr, Introduction to PROGRESS, an attribute graph grammar based specification language, Lecture Notes in Computer Science, Vol. 411, Springer, Berlin, 1989.
89. M.P.A. Sellink, H.M. Sneed, C. Verhoef, Restructuring of COBOL/CICS legacy systems, in: P. Nesi, C. Verhoef (Eds.), Proc. 3rd Eur. Conf. on Maintenance and Reengineering, 1999, pp. 72-82. Available at http://adam.wins.uva.nl/ ̃x/cics/cics.html.
90. M.P.A. Sellink, C. Verhoef, Reflections on the evolution of COBOL, Technical Report P9721, University of Amsterdam, 1997. Available at http://adam.wins.uva.nl/ ̃x/lib/lib.html.
91. M.P.A. Sellink, C. Verhoef, Development, assessment, and reengineering of language descriptions, in: Proc. 13th Int. Autom. Software Eng. Conf., IEEE Computer Society, Silver Spring, MD, 1998, pp. 314-317. Full version in [91].
92. M.P.A. Sellink, C. Verhoef, Development, assessment, and reengineering of language descriptions, in: J. Ebert, C. Verhoef (Eds.), Proc. 4th European Conf. on Software Maintenance and Reengineering, IEEE Computer Society, Silver Spring, MD, 2000. Available at: http://adam.wins.uva.nl/ ̃x/cale/cale.html.
93. M.P.A. Sellink, C. Verhoef, Native patterns, in: M.R. Blaha, A. Quilici, C. Verhoef (Eds.), Proc. 5th Working Conf. on Reverse Engineering, IEEE Computer Society, Silver Spring, MD, 1998, pp. 89-103. Available at http://adam.wins.uva.nl/ ̃x/npl/npl.html.
94. M.P.A. Sellink, C. Verhoef, An architecture for automated software maintenance, in: D. Smith, S.G. Woods (Eds.), Proc. 7th Int. Workshop on Program Comprehension, 1999, pp. 38-48. Available at http://adam.wins.uva.nl/ ̃x/asm/asm.html.
95. M.P.A. Sellink, C. Verhoef, Generation of software renovation factories from compilers, in: H. Yang, L. White (Eds.), Proc. Int. Conf. on Software Maintenance, 1999, pp. 245-255. Available via http://adam.wins.uva.nl/ ̃x/com/com.html.
96. I.L. Sindelar, Specification-driven tool technology, Proc. SUN User Group 1990 Conf., 1990, pp. 209-219.
97. Smith D.R., Kotik G.B., Westfold S.J. Research on knowlegde-based software environments at Kestrel institute. IEEE Trans. Software Eng. SE-11(11):1985;1278-1295.
98. H.M. Sneed, Architecture and functions of a commercial software reengineering workbench, in: P. Nesi, F. Lehner (Eds.), Proc. Second Euromicro Conf. on Maintenance and Reengineering, 1998, pp. 2-10.
99. Tip F. Generic techniques for source-level debugging and dynamic program slicing. Mosses P.D., Nielsen M., Schwartzback M.I. Theory and Practice of Software Development (TAPSOFT'95), Lecture Notes in Computer Science. 1995;516-530 Springer, Berlin.
100. Tip F. Generation of program analysis tools, Ph.D. Thesis. 1995;University of Amsterdam.
101. Tip F. A survey of program slicing techniques. J. Programming Languages. 3:1995;121-189.
102. Tomita M. Efficient Parsing for Natural Languages - A Fast Algorithm for Practical Systems. 1986;Kluwer Academic Publishers, Dordrecht.
103. E. Visser, Scannerless generalized-LR parsing, Technical Report P9707, Programming Research Group, University of Amsterdam, July 1997. Available at http://www.wins.uva.nl/pub/programming-research/reports/1997/P9707.ps.
104. H.H. Vogt, S.D. Swierstra, M.F. Kuiper, Higher order attribute grammars, SIGPLAN Notices, 24 (7) (1989) 131-145; Proc. ACM SIGPLAN'89 Conf. on Programming Language Design and Implementation.
105. Wall L., Schwartz R.L. Programming Perl. 1991;O'Reilly & Associates, Inc.
106. Walters H.R. Hybrid implementations of algebraic specifications. Kirchner H., Wechler W. Proc. 2nd Int. Conf. on Algebraic and Logic Programming, Lecture Notes in Computer Science. Vol. 463:1990;40-54 Springer, Berlin.
107. Walters H.R. On equal terms - implementing algebraic specifications, Ph.D. Thesis. 1991;University of Amsterdam.
108. Watt D.A. Programming Language Syntax and Semantics. 1991;Prentice-Hall, Englewood Cliffs, NJ.
109. Weinberg G.M. Quality Software Management. Vol. 1 Systems Thinking:1992;Dorset House.
110. Wile D.S. Toward a calculus of abstract syntax trees. Bird R., Meertens L. Algorithmic Languages and Calculi. IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi:1997;324-353 Chapman & Hall, London.