How understanding and restructuring differ from compiling - A rewriting perspective

Proceedings - IEEE Workshop on Program Comprehension

Volumn 2003-May, Issue , 2003, Pages 2-11

  Klint, P ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; CALCULATIONS; COMPUTER PROGRAMMING; PROGRAM COMPILERS; SEMANTICS;

ABSTRACT SYNTAX; COMPILER CONSTRUCTION; CONCRETE SYNTAX; GRAMMAR RECOVERY; LARGE SOFTWARE SYSTEMS; RELATIONAL CALCULUS; SEMANTIC ANALYSIS; TERM REWRITING;

SYNTACTICS;

EID: 84978976104     PISSN: 10928138     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WPC.2003.1199184     Document Type: Conference Paper

References (45)

1. R. Agrawal. Alpha: An extension ofrelational algebra to express a class ofrecursive queries. IEEE Transactions on Software Engineering, 14(7):879-885, July 1988.
2. A.V. Aho, R. Sethi, and J.D. Ullman. Compilers. Principles, Techniques and Tools. Addison-Wesley, 1986.
3. A.V. Aho and J.D. Ullman. The theory of parsing, translation, and compiling. Prentice-Hall, Englewood Cliffs (NJ), 1972-73. Vol. I. Parsing. Vol II. Compiling.
4. M. Alt, F. Martin, and R. Wilhelm. Generating Dataflow Analyzers with PAG. Technical Report A10-95, Universität des Saarlandes, 1995.
5. J.A. Bergstra, J. Heering, and P. Klint, editors. Algebraic Specification. ACM Press Frontier Series. The ACM Press in co-operation with Addison-Wesley, 1989.
6. I. Bethke, J.W. Klop, and R.C. de Vrijer. Descendants and origins in term rewriting. Information and Computation, 159(1-2):59-124, 2000.
7. M.G.J. van den Brand, A. van Deursen, J. Heering, H. A. de Jong, M. de Jonge, T. Kuipers, P. Klint, L. Moonen, P.A. Olivier, J. Scheerder, J.J. Vinju, E. Visser, and J. Visser. The ASF+SDF Meta-Environment: a Component-Based Language Development Environment. In R. Wilhelm, editor, Compiler Construction (CC '01), volume 2027 of Lecture Notes in Computer Science, pages 365-370. Springer-Verlag, 2001.
8. M. G. J. van den Brand, A. van Deursen, P. Klint, S. Klusener, and E. A. van der Meulen. Industrial applications of ASF+SDF. In M. Wirsing and M. Nivat, editors, Algebraic Methodology and Software Technology (AMAST '96), volume 1101 of Lecture Notes in Computer Science, pages 9-18. Springer-Verlag, 1996.
9. M. G. J. van den Brand, H. A. de Jong, P. Klint, and P. Olivier. Efficient Annotated Terms. Software, Practice & Experience, 30:259-291, 2000.
10. M. G. J. van den Brand, P. Klint, and C. Verhoef. Core technologies for system renovation. In K.G. Jeffery, J. Král, and M. Bartošek, editors, SOFSEM'96: Theory and Practice of Informatics, volume 1175 of Lecture Notes in Computer Science, pages 235-255. Springer-Verlag, 1996.
11. M. G. J. van den Brand, J. Scheerder, J. Vinju, and E. Visser. Disambiguation filters for scannerless generalized LR parsers. In N. Horspool, editor, Compiler Construction (CC'02), Lecture Notes in Computer Science. Springer-Verlag, 2002.
12. G. Canfora, A. de Lucia, and G.A. Lucca. A system for generating reverse engineering tools: a case study ofsoftware modularisation. Automated Software Engineering, 6:233-263, 1999.
13. J.R. Cordy, C.D. Halpern-Hamu, and E. Promislow. TXL: A rapid prototyping system for programming language dialects. Computer Languages, 16(1):97-107, 1991.
14. T.R. Dean, J.R. Cordy, A.J. Malton, and K.A. Schneider. Grammar programming in TXL. In 2nd International Workshop on Source Code Analysis and Manipulation (SCAM02). IEEE, October 2002.
15. A. van Deursen. Executable Language Definitions - Case Studies and Origin Tracking Techniques. PhD thesis, University of Amsterdam, 1994.
16. 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.
17. A. van Deursen, P. Klint, and F. Tip. Origin tracking. Journal of Symbolic Computation, 15:523-545, 1993.
18. J. Ebert, R. Gimnich, H.H. Stasch, and A. Winter. GUPRO: Generische Umgebung zum Programverstehen. Koblenzer Schriften zur Informatik. Fölbach, 1998.
19. L.M.G. Feijs, R. Krikhaar, and R.C. Ommering. A relational approach to support software architecture analysis. Software Practice and Experience, 28(4):371-400, april 1998.
20. M. S. Hecht. Flow Analysis of Computer Programs. Elsevier, Amsterdam, 1977.
21. J. Heering and P. Klint. Rewriting based languages and systems. In Terese, editor, Term Rewriting Systems, chapter 15. Cambridge University Press, 2003.
22. J. Heering, P. Klint, and J. Rekers. Incremental generation ofparsers. SIGPLAN Notices, 24(7):179-191, 1989.
23. R. C. Holt, A. Winter, and J. Wu. Towards a common query language for reverse engineering. Technical report, Institute for Computer Science, Universität Koblenz-Landau, August 2002.
24. R.C. Holt. Binary relational algebra applied to software architecture. CSRI 345, University ofToronto, march 1996.
25. G. Kildall. A unified approach to global program optimization. In ACM Symposium on Principles of Programming Languages, pages 194-206, 1973.
26. P. Klint. A meta-environment for generating programming environments. ACM Transactions on Software Engineering and Methodology, 2(2):176-201, 1993.
27. P. Klint. From line numbers to origins. In E.H.L Aarts, H.M.M. ten Eikelder, C. Hemerik, and M. Rem, editors, Simplex Sigillum Veri: Liber Amicorum for Prof.dr. F.E.J. Kruseman Aretz, pages 215-230. Technical University Eindhoven, 1995.
28. J.W. Klop. Combinatory Reduction Systems. Number 127 in Mathematical Centre Tracts. CWI, 1980. PhD Thesis.
29. R. Lämmel and C. Verhoef. Semi-automatic Grammar Recovery. Software - Practice & Experience, 31(15):1395-1438, December 2001.
30. B. Lang. Deterministic techniques for efficient nondeterministic parsers. In J. Loeckx, editor, Proceedings of the Second Colloquium on Automata, Languages and Programming, volume 14 of Lecture Notes in Computer Science, pages 255-269. Springer-Verlag, 1974.
31. M. A. Linton. Implementing relational views of programs. In Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, pages 132-140, 1984.
32. L. Moonen. A generic architecture for data flow analysis to support reverse engineering. In M.P.A. Sellink, editor, Proceedings of the Second International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF'97), Electronic Workshops in Computing, Amsterdam, November 1997. Springer-Verlag.
33. L. Moonen. Generating robust parsers using island grammars. In Proceedings of the 8th Working Conference on Reverse Engineering, pages 13-22. IEEE Computer Society Press, October 2001.
34. H. Müller and K. Klashinsky. Rigi - a system for programming-in-the-large. In Proceedings of the 10th International Conference on Software Engineering (ICSE 10),, pages 80-86,, April 1988.
35. 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.
36. D.J. Salomon and G.V. Cormack. Scannerless NSLR(1) parsing ofprogramming languages. SIGPLAN Notices, 24(7):170-178, 1989. Proceedings of the ACM SIGPLAN '89 Conference on Programming Language Design and Implementation.
37. M.P.A. Sellink and C. Verhoef. Native patterns. In M. Blaha, A. Quilici, and C. Verhoef, editors, Proceedings of the Fifth Working Conference on Reverse Engineering, pages 89-103. IEEE Computer Society, 1998.
38. Terese. Term Rewriting Systems. Cambridge University Press, 2003.
39. C. Tice and S.L. Graham. OPTVIEW: a new approach for examining optimized code. In Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, pages 19-26, 1998.
40. F. Tip and T. B. Dinesh. A slicing-based approach for locating type errors. ACM Transactions on Software Engineering and Methodology (TOSEM), 10(1):5-55, 2001.
41. M. Tomita. Efficient Parsing for Natural Languages - A Fast Algorithm for Practical Systems. Kluwer Academic Publishers, 1986.
42. J.D. Ullman. Principles of Database Systems, Second Edition. Computer Science Press, 1982.
43. E. Visser. Scannerless Generalized-LR Parsing. Technical Report P9707, Programming Research Group, University ofAmsterdam, July 1997.
44. P. L. Wadler. List comprehensions. In S. L. Peyton Jones, editor, The Implementation of Functional Programming Languages, chapter 15. Prentice Hall, 1987.
45. R. Wilhelm and D. Maurer. Compiler Design. Addison-Wesley, 1996.