Title :
Symbolic Reductionist Model for Program Comprehension
Author :
Laitila, Erkki ; Legrand, Steve
Author_Institution :
Univ. of Jyvaskyla, Jyvaskyla
Abstract :
This article presents the main features of a novel construction, symbolic analysis, for automatic source code processing. The method is superior to the known methods, because it uses a semiotic, interpretative approach. Its most important processes and characteristics are considered here. We describe symbolic information retrieval and the process of analysis in which it can be used in order to obtain pragmatic information. This, in turn, is useful in understanding a current Java program version when developing a new version.
Keywords :
Java; configuration management; object-oriented programming; program diagnostics; reverse engineering; symbol manipulation; Java program; automatic source code processing; pragmatic information; program comprehension; semiotic-interpretative approach; symbolic analysis; symbolic information retrieval; symbolic reductionist model; Artificial intelligence; Information analysis; Information retrieval; Information systems; Java; Object oriented modeling; Object oriented programming; Reverse engineering; Turing machines; Unified modeling language; program comprehension; reverse engineering; symbolic analysis;
Conference_Titel :
Artificial Intelligence - Special Session, 2007. MICAI 2007. Sixth Mexican International Conference on
Conference_Location :
Aguascallentes
Print_ISBN :
978-0-7695-3124-3
DOI :
10.1109/MICAI.2007.7