{"title":"面向语义的程序综合系统","authors":"Bai Cheng, S. Kaplan","doi":"10.1109/HICSS.1989.48063","DOIUrl":null,"url":null,"abstract":"An overview is given of SEED, an automatic program development system that transforms specifications into code using program development methodologies. It is shown that top-down, stepwise program development techniques, originally intended for use by humans, are amenable to automation. When using the Dijkstra/Gries methodology, users refine the predicate logic-based specification of a problem, according to set of heuristics, into code. A major portion of the SEED project involved clarifying their heuristics, intended for human application, to facilitate the development of an executable rule based system. N. Dershowitz's fact introduction scheme (Artif. Intell., vol.25, 323-73, 1985) was used to allow the user to tailor SEED to a particular problem domain by adding to a fact base that is consulted during the rule application process. SEED accepts a specification as input and returns either a program or an error message if a program cannot be developed.<<ETX>>","PeriodicalId":325958,"journal":{"name":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","volume":"67 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"A semantically oriented program synthesis system\",\"authors\":\"Bai Cheng, S. Kaplan\",\"doi\":\"10.1109/HICSS.1989.48063\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"An overview is given of SEED, an automatic program development system that transforms specifications into code using program development methodologies. It is shown that top-down, stepwise program development techniques, originally intended for use by humans, are amenable to automation. When using the Dijkstra/Gries methodology, users refine the predicate logic-based specification of a problem, according to set of heuristics, into code. A major portion of the SEED project involved clarifying their heuristics, intended for human application, to facilitate the development of an executable rule based system. N. Dershowitz's fact introduction scheme (Artif. Intell., vol.25, 323-73, 1985) was used to allow the user to tailor SEED to a particular problem domain by adding to a fact base that is consulted during the rule application process. SEED accepts a specification as input and returns either a program or an error message if a program cannot be developed.<<ETX>>\",\"PeriodicalId\":325958,\"journal\":{\"name\":\"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track\",\"volume\":\"67 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1989-01-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/HICSS.1989.48063\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HICSS.1989.48063","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
An overview is given of SEED, an automatic program development system that transforms specifications into code using program development methodologies. It is shown that top-down, stepwise program development techniques, originally intended for use by humans, are amenable to automation. When using the Dijkstra/Gries methodology, users refine the predicate logic-based specification of a problem, according to set of heuristics, into code. A major portion of the SEED project involved clarifying their heuristics, intended for human application, to facilitate the development of an executable rule based system. N. Dershowitz's fact introduction scheme (Artif. Intell., vol.25, 323-73, 1985) was used to allow the user to tailor SEED to a particular problem domain by adding to a fact base that is consulted during the rule application process. SEED accepts a specification as input and returns either a program or an error message if a program cannot be developed.<>
![[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track](/Content/css/sci/img/zetp.jpg)
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
