Title :
Program comprehension in generative programming: a history of grand challenges
Author_Institution :
Dept. of Comput. Sci., Texas Univ. at Austin, TX, USA
Abstract :
The communities of generative programming (GP) and program comprehension (PC) look at similar problems: GP derives a program from a specification, PC derives a specification from a program. A basic difference between the two is GP´s use of specific knowledge representations and mental models that are essential for program synthesis. In this paper, the author presents a historical review of the grand challenges, results, and outlook for GP as they pertain to PC.
Keywords :
automatic programming; formal specification; knowledge representation; reverse engineering; generative programming; knowledge representations; mental models; program comprehension; program specification; program synthesis; Conferences; History;
Conference_Titel :
Program Comprehension, 2004. Proceedings. 12th IEEE International Workshop on
Print_ISBN :
0-7695-2149-5
DOI :
10.1109/WPC.2004.1311042
