{"title":"一个通过专门化来理解程序的工具","authors":"Sandrine Blazy, P. Facon","doi":"10.1109/WPC.1994.341266","DOIUrl":null,"url":null,"abstract":"This paper describes a tool for facilitating the comprehension of general programs using automatic specialization. The goal of this approach was to assist in the maintenance of old programs, which have become very complex due to numerous extensions. This paper explains why this approach was chosen, how the tool's architecture was set up, and how the correctness of the specialization has been proved. Then, it discusses the results obtained by using this tool, and the future evolutions.<<ETX>>","PeriodicalId":308971,"journal":{"name":"Proceedings 1994 IEEE 3rd Workshop on Program Comprehension- WPC '94","volume":"20 78 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"12","resultStr":"{\"title\":\"SFAC, a tool for program comprehension by specialization\",\"authors\":\"Sandrine Blazy, P. Facon\",\"doi\":\"10.1109/WPC.1994.341266\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper describes a tool for facilitating the comprehension of general programs using automatic specialization. The goal of this approach was to assist in the maintenance of old programs, which have become very complex due to numerous extensions. This paper explains why this approach was chosen, how the tool's architecture was set up, and how the correctness of the specialization has been proved. Then, it discusses the results obtained by using this tool, and the future evolutions.<<ETX>>\",\"PeriodicalId\":308971,\"journal\":{\"name\":\"Proceedings 1994 IEEE 3rd Workshop on Program Comprehension- WPC '94\",\"volume\":\"20 78 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-11-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"12\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 1994 IEEE 3rd Workshop on Program Comprehension- WPC '94\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WPC.1994.341266\",\"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 1994 IEEE 3rd Workshop on Program Comprehension- WPC '94","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WPC.1994.341266","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
SFAC, a tool for program comprehension by specialization
This paper describes a tool for facilitating the comprehension of general programs using automatic specialization. The goal of this approach was to assist in the maintenance of old programs, which have become very complex due to numerous extensions. This paper explains why this approach was chosen, how the tool's architecture was set up, and how the correctness of the specialization has been proved. Then, it discusses the results obtained by using this tool, and the future evolutions.<>