DocumentCode
3132603
Title
Program comprehension in generative programming: a history of grand challenges
Author
Batory, Don
Author_Institution
Dept. of Comput. Sci., Texas Univ. at Austin, TX, USA
fYear
2004
fDate
24-26 June 2004
Firstpage
2
Lastpage
11
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Program Comprehension, 2004. Proceedings. 12th IEEE International Workshop on
ISSN
1092-8138
Print_ISBN
0-7695-2149-5
Type
conf
DOI
10.1109/WPC.2004.1311042
Filename
1311042
Link To Document