生成式编程中的程序理解:一个巨大挑战的历史

Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004. Pub Date : 2004-06-24 DOI:10.1109/WPC.2004.1311042

D. Batory

{"title":"生成式编程中的程序理解:一个巨大挑战的历史","authors":"D. Batory","doi":"10.1109/WPC.2004.1311042","DOIUrl":null,"url":null,"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.","PeriodicalId":164866,"journal":{"name":"Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004.","volume":"48 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"10","resultStr":"{\"title\":\"Program comprehension in generative programming: a history of grand challenges\",\"authors\":\"D. Batory\",\"doi\":\"10.1109/WPC.2004.1311042\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":164866,\"journal\":{\"name\":\"Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004.\",\"volume\":\"48 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2004-06-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"10\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WPC.2004.1311042\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WPC.2004.1311042","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 10

摘要

生成编程(GP)和程序理解(PC)的社区关注类似的问题:GP从规范派生程序，PC从程序派生规范。两者之间的一个基本区别是GP使用对程序综合至关重要的特定知识表示和心理模型。在本文中，作者提出了一个历史的大挑战，结果和前景GP，因为他们涉及到PC。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Program comprehension in generative programming: a history of grand challenges

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004.

自引率

0.00%

发文量