DocumentCode :
3450257
Title :
How understanding and restructuring differ from compiling -a rewriting perspective
Author :
Klint, Paul
Author_Institution :
Centrum voor Wiskunde en Informatica, Amsterdam, Netherlands
fYear :
2003
fDate :
10-11 May 2003
Firstpage :
2
Lastpage :
11
Abstract :
Syntactic and semantic analysis are established topics in the area of compiler construction. Their application to the understanding and restructuring of large software systems reveals, however that they have various shortcomings that need to be addressed. In this paper we study these shortcomings and propose several solutions. First, grammar recovery and grammar composition are discussed as well as the symbiosis of lexical syntax and context-free syntax. Next, it is shown how a relational calculus can be defined by way of term rewriting and how a fusion of term rewriting and this relational calculus can be obtained to provide semantics-directed querying and restructuring. Finally, we discuss how the distance between concrete syntax and abstract syntax can be minimized for the benefit of restructuring. In particular we pay attention to origin tracking, a systematic technique to maintain a mapping between the output and the input of the rewriting process. Along the way, opportunities for further research are indicated.
Keywords :
context-free grammars; program compilers; relational algebra; reverse engineering; rewriting systems; abstract syntax; concrete syntax; context-free syntax; grammar composition; grammar recovery; large software systems; lexical syntax; program compiling; program restructuring; program understanding; relational calculus; semantic analysis; semantics-directed querying; syntactic analysis; term rewriting; Application software; Books; Calculus; Concrete; Optimizing compilers; Parallel architectures; Power generation; Software standards; Software systems; Symbiosis;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Program Comprehension, 2003. 11th IEEE International Workshop on
ISSN :
1092-8138
Print_ISBN :
0-7695-1883-4
Type :
conf
DOI :
10.1109/WPC.2003.1199184
Filename :
1199184
Link To Document :
بازگشت