{"title":"SICSOFT(辅导课)","authors":"D. Good, L. Fosdick","doi":"10.1145/800191.805654","DOIUrl":null,"url":null,"abstract":"This session will provide an introduction to the fundamental issues of proving properties of computer programs. No attempt will be made to provide an exhaustive survey, but enough of the basic concepts and techniques of proving programs will be included so that the interested reader can pursue specific interests on his own.","PeriodicalId":379505,"journal":{"name":"ACM '76","volume":"17 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1976-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"SICSOFT (Tutorial Session)\",\"authors\":\"D. Good, L. Fosdick\",\"doi\":\"10.1145/800191.805654\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This session will provide an introduction to the fundamental issues of proving properties of computer programs. No attempt will be made to provide an exhaustive survey, but enough of the basic concepts and techniques of proving programs will be included so that the interested reader can pursue specific interests on his own.\",\"PeriodicalId\":379505,\"journal\":{\"name\":\"ACM '76\",\"volume\":\"17 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.805654\",\"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.805654","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
This session will provide an introduction to the fundamental issues of proving properties of computer programs. No attempt will be made to provide an exhaustive survey, but enough of the basic concepts and techniques of proving programs will be included so that the interested reader can pursue specific interests on his own.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
