{"title":"自动合成程序和计划","authors":"C. Green, R. Fikes, M. Kay","doi":"10.1145/800191.805531","DOIUrl":null,"url":null,"abstract":"This session focuses on the continuing effort to develop automatic techniques for transforming a specification of “what” is to be done into a specification of “how” the “what” is to be done. One presentation deals with programming tasks, where the results of the transformation are executable computer programs. The other with tasks being carried out by people or organizations, where the results of the transformation are plans and schedules.","PeriodicalId":379505,"journal":{"name":"ACM '76","volume":"36 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1976-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Automatic synthesis—programs and plans\",\"authors\":\"C. Green, R. Fikes, M. Kay\",\"doi\":\"10.1145/800191.805531\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This session focuses on the continuing effort to develop automatic techniques for transforming a specification of “what” is to be done into a specification of “how” the “what” is to be done. One presentation deals with programming tasks, where the results of the transformation are executable computer programs. The other with tasks being carried out by people or organizations, where the results of the transformation are plans and schedules.\",\"PeriodicalId\":379505,\"journal\":{\"name\":\"ACM '76\",\"volume\":\"36 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1976-10-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ACM '76\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/800191.805531\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM '76","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/800191.805531","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
This session focuses on the continuing effort to develop automatic techniques for transforming a specification of “what” is to be done into a specification of “how” the “what” is to be done. One presentation deals with programming tasks, where the results of the transformation are executable computer programs. The other with tasks being carried out by people or organizations, where the results of the transformation are plans and schedules.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
