自动合成程序和计划

ACM '76 Pub Date : 1976-10-20 DOI:10.1145/800191.805531

C. Green, R. Fikes, M. Kay

{"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}

引用次数: 0

摘要

本次会议的重点是继续努力开发自动技术，以将“做什么”的规范转换为“如何”做“什么”的规范。一种表示处理编程任务，其中转换的结果是可执行的计算机程序。另一个是由人员或组织执行的任务，其中转换的结果是计划和时间表。

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

查看原文本刊更多论文

Automatic synthesis—programs and plans

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.

求助全文

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

来源期刊

ACM '76

自引率

0.00%

发文量