{"title":"CV","authors":"J. Misra","doi":"10.1145/3477355.3477373","DOIUrl":null,"url":null,"abstract":"data types, 259–260 Abstract interpretation, 97interpretation, 97 Abstraction, 188–189, 291. See also Effective abstractionsion, 188–189, 291. See also Effective abstractions in specification, 256–257 ACM interview, 359–385 ACM Turing Award (1980), 3 emperor’s old clothes, 4–21 ADA language, 19, 367","PeriodicalId":194610,"journal":{"name":"Theories of Programming","volume":"126 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Theories of Programming","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3477355.3477373","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
data types, 259–260 Abstract interpretation, 97interpretation, 97 Abstraction, 188–189, 291. See also Effective abstractionsion, 188–189, 291. See also Effective abstractions in specification, 256–257 ACM interview, 359–385 ACM Turing Award (1980), 3 emperor’s old clothes, 4–21 ADA language, 19, 367
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
