查询的关键字搜索结果--与关键字搜索查询匹配的新结果（每天更新）。 https://dl.acm.org/action/doSearch？type=advanced&af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevance 计算机协会：查询关键字搜索 计算机协会 英语-美国 http://www.atypon.com/images/atypon_logo_small.gif http://www.atypon.com网站 https://dl.acm.org/doi/abs/10.1109/ASE56229.2023.00186？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey ASE’23：第38届IEEE/ACM自动化软件工程国际会议论文集，第1542-1554页<br/＞ ASE’23：第38届IEEE/ACM自动化软件工程国际会议论文集，第1542-1554页<br/＞ doi:10.1109/ASE56229.2023.00186 2024-09-26T04:52:55Z 免费插入式推理 1542 1554 2024-09-26T04:52:55Z 10.1109/ASE56229.2023.00186 https://dl.acm.org/doi/abs/10.1109/ASE56229.2023.00186？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1109/ASE56229.2023.00031？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey ASE’23：第38届IEEE/ACM国际自动化软件工程会议记录，第988-999页<br/＞ ASE’23：第38届IEEE/ACM国际自动化软件工程会议记录，第988-999页<br/＞ doi:10.1109/ASE56229.2023.00031 2024-09-26T04:52:55Z Python的生成型推理 988 999 2024-09-26T04:52:55Z 10.1109/ASE56229.2023.00031 https://dl.acm.org/doi/abs/10.1109/ASE56229.2023.00031？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3678721.3686232？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey FTfJP 2024：第26届ACM类Java程序形式化技术国际研讨会会议记录，第30-36页<br/＞ FTfJP 2024：第26届ACM类Java程序形式化技术国际研讨会会议记录，第30-36页<br/＞ 数字对象标识代码：10.1145/3678721.3686232 2024-09-20T07:00:00Z MiniJava的系数：Cf-Mj 30 36 2024-09-20T07:00:00Z 10.1145/3678721.3686232 https://dl.acm.org/doi/abs/10.1145/3678721.3686232？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/36782232.3678239？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey PPDP’24：第26届声明性编程原则与实践国际研讨会论文集，第1-12页<br/＞ PPDP’24：第26届声明性编程原则与实践国际研讨会论文集，第1-12页<br/＞ doi:10.1145/36782232.3678239 2024-09-09T07:00:00Z 二进制会话的最安全终止 1 12 2024-09-09T07:00:00Z 10.1145/3678232.3678239 https://dl.acm.org/doi/abs/10.1145/36782232.3678239？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3674657？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会编程语言会议录，<a href=“https://dl.acm.org/toc/pacmpl/2024/8/ICFP网站“>第8卷，第ICFP期，第938-972页，2024年8月<br/＞ 《美国计算机学会程序设计语言会议录》，第8卷，ICFP期，第938-972页，2024年8月<br/＞ 具有优化类型的同步编程 数字对象标识代码：10.1145/3674657 2024-08-15T04:48:07Z 贾维·陈若泽·路易斯·巴尔加斯·德·门登萨·贝雷克特·施梅尔斯·阿耶勒·贝雷克·恩库西·贝克莱·沙扬·贾利利普兰贾尔·沙尔马·尼古拉斯·沃尔菲尔·伊城张珍·巴普蒂斯特·杰宁 美国计算机学会程序设计语言会议录 8 ICFP公司 938 972 2024-08-15T07:00:00Z 2024-08-15T07:00:00Z 10.1145/3674657 https://dl.acm.org/doi/abs/10.1145/3674657？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3674644？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会编程语言会议录，<a href=“https://dl.acm.org/toc/pacmpl/2024/8/ICFP网站“>第8卷，发行ICFP，第544-572页，2024年8月<br/＞ 《美国计算机学会程序设计语言会议录》，第8卷，ICFP期，第544-572页，2024年8月<br/＞ 渐变索引归纳类型 数字对象标识代码：10.1145/3674644 2024-08-15T04:48:07Z 马拉·马列夫斯基（Mara MalewskiKenji MaillardNicolas Tabarau Eric Tanter） 美国计算机学会程序设计语言会议录 8 ICFP公司 544 572 2024-08-15T07:00:00Z 2024-08-15T07:00:00Z 10.1145/3674644 https://dl.acm.org/doi/abs/10.1145/3674644？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3660829.3660851？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=相关性 24年编程：第八届编程艺术、科学和工程国际会议的伴随会议记录，第134-138页<br/＞ 《编程’24：第八届国际编程艺术、科学和工程会议配套论文集》，第134-138页<br/＞ doi:10.1145/3660829.3660851 2024年7月9日T10:36:26Z 达成能力的正式基础 134 138 2024年7月9日T10:36:26Z 10.1145/3660829.3660851 https://dl.acm.org/doi/abs/10.1145/3660829.3660851？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3656434？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会编程语言会议录，<a href=“https://dl.acm.org/toc/pacmpl/2024/8/PLDI“>第8卷，PLDI版本，第1412-1436页，2024年6月<br/＞ 《美国计算机学会程序设计语言会议录》，第8卷，PLDI期，第1412-1436页，2024年6月<br/＞ 流类型 电话：10.1145/3656434 2024-06-20T04:24:39Z年 Joseph W.CutlerChristopher Watson Emeka Nkurumeh Phillip Hilliard Harrison GoldsteinCalb Stanford本杰明·C·皮尔斯 美国计算机学会程序设计语言会议录 8 PLDI公司 1412 1436 2024-06-20T07:00:00Z 2024-06-20T07:00:00Z 10.1145/3656434 https://dl.acm.org/doi/abs/10.1145/3656434？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3656421？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会编程语言会议录，<a href=“https://dl.acm.org/toc/pacmpl/2024/8/PLDI“>第8卷，发行PLDI，第1091-1114页，2024年6月<br/＞ ACM程序设计语言会议录，第8卷，PLDI期，第1091-1114页，2024年6月<br/＞ Julia存在类型的可判定子类型 doi:10.1145/3656421 2024-06-20T04:24:39Z年 朱莉娅·贝亚科娃本杰明·钟罗斯·塔特扬·维泰克（Julia Belyakova Benjamin ChungRoss TateJan Vitek） 美国计算机学会程序设计语言会议录 8 PLDI公司 1091 1114 2024-06-20T07:00:00时 2024-06-20T07:00:00Z 10.1145/3656421 https://dl.acm.org/doi/abs/10.1145/3656421？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3656408？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会编程语言会议录，<a href=“https://dl.acm.org/toc/pacmpl/2024/8/PLDI“>第8卷，PLDI版本，第766-789页，2024年6月<br/＞ 《美国计算机学会程序设计语言会议录》，第8卷，PLDI期，第766-789页，2024年6月<br/＞ 代数基本定律的自动验证 数字对象标识代码：10.1145/3656408 2024-06-20T04:24:39Z年 乔治·扎克霍尔·帕斯卡尔·魏森伯格吉多·萨尔瓦内奇（George Zakhour Pascal Weisenburger Guido Salvaneschi） 美国计算机学会程序设计语言会议录 8 PLDI公司 766 789 2024-06-20T07:00:00Z 2024-06-20T07:00:00时 10.1145/3656408 https://dl.acm.org/doi/abs/10.1145/3656408？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3652561.3652567？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey IFL’23：第35届函数语言实现与应用研讨会论文集，第1-12页<br/＞ IFL’23：第35届函数语言实现与应用研讨会论文集，第1-12页<br/＞ doi:10.1145/3652561.3652567 2024-06-19T10:19:21Z 计算合成数据算法的函数灵敏度 1 12 2024-06-19T10:19:21Z 10.1145/3652561.3652567 https://dl.acm.org/doi/abs/10.1145/3652561.3652567？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1007/s10801-024-01334-x？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 代数组合数学杂志：国际期刊https://dl.acm.org/toc/klu-jaco/204/60/1“>第60卷，第1期，第241-264页，2024年8月<br/＞ 《代数组合数学杂志：国际期刊》，第60卷，第1期，第241-264页，2024年8月<br/＞ B型和C型的更高Bruhat阶 doi:10.1007/s10801-024-01334-x 2024-05-17T07:00:00Z 弗拉基米尔·达尼洛夫·亚历山大V.卡扎诺夫·格勒布A.科什沃伊 代数组合数学杂志：国际期刊 60 1 241 264 2024-08-01T07:00:00Z 2024-08-01T07:00:00Z 10.1007/s10801-024-01334-x号 https://dl.acm.org/doi/abs/10.1007/s10801-024-01334-x？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3649859？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会编程语言会议录，<a href=“https://dl.acm.org/toc/pacmpl/2024/8/OOPSLA1“>第8卷，第OOPSLA1期，第1351-1379页，2024年4月<br/＞ 《美国计算机学会程序设计语言会议录》，第8卷，第OOPSLA1期，第1351-1379页，2024年4月<br/＞ 消息-观察会话 数字对象标识代码：10.1145/3649859 2024-04-29T05:53:18Z年 瑞安·卡瓦纳格·布里吉特·皮恩特卡 美国计算机学会程序设计语言会议录 8 OOPSLA1型 1351 1379 2024-04-29T07:00:00Z 2024-04-29T07:00:00Z 10.1145/3649859 https://dl.acm.org/doi/abs/10.1145/3649859？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3649853？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会程序设计语言论文集，<a href=“https://dl.acm.org/toc/pacmpl/2024/8/OOPSLA1“>第8卷，第OOPSLA1</a>期，第1181-1207页，2024年4月<br/＞ 《美国计算机学会程序设计语言会议录》，第8卷，第OOPSLA1期，第1181-1207页，2024年4月<br/＞ 分离度：一种用于安全并发的灵活类型系统 数字对象标识代码：10.1145/3649853 2024-04-29T05:53:18Z年 宜城许亚历克桑德·博鲁赫·格鲁舍基·马丁·奥德斯基（Yichen XuAleksander Boruch-Gruszecki Martin Odersky） 美国计算机学会程序设计语言会议录 8 OOPSLA1公司 1181 1207 2024-04-29T07:00:00Z 2024-04-29T07:00:00Z 10.1145/3649853 https://dl.acm.org/doi/abs/10.1145/3649853？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3649818？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会编程语言会议录，<a href=“https://dl.acm.org/toc/pacmpl/2024/8/OOPSLA1“>第8卷，第OOPSLA1</a>期，第194-222页，2024年4月<br/＞ 《美国计算机学会程序设计语言会议录》，第8卷，第OOPSLA1期，第194-222页，2024年4月<br/＞ 用透明性实现OCaml模块 数字对象标识代码：10.1145/3649818 2024-04-29T05:53:18Z年 布拉代奥·克莱门特·迪迪埃·雷米加布里埃尔·拉丹（Blaudeau ClementDidier Rémy Gabriel Radanne） 美国计算机学会程序设计语言会议录 8 OOPSLA1公司 194 222 2024-04-29T07:00:00Z 2024-04-29T07:00:00Z 10.1145/3649818 https://dl.acm.org/doi/abs/10.1145/3649818？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3636501.3636951？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第230-245页<br/＞ CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第230-245页<br/＞ doi:10.1145/3636501.3636951 2024-01-09T07:39:12Z 马丁·洛菲拉·考克 230 245 2024-01-09T07:39:12Z 10.1145/3636501.3636951 https://dl.acm.org/doi/abs/10.1145/3636501.3636951？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3632932？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会编程语言会议录，<a href=“https://dl.acm.org/toc/pacmpl/2024/8/POPL网站“>第8卷，第POPL期，第2700-2730页，2024年1月<br/＞ 《美国计算机学会程序设计语言会议录》，第8卷，POPL期，第2700-2730页，2024年1月<br/＞ 结构参数多态的参数分型 数字对象标识代码：10.1145/3632932 2024-01-05T08:47:51Z 亨利·德扬安德烈亚·莫迪多·弗兰克·普芬宁安库什·达斯 美国计算机学会程序设计语言会议录 8 POPL公司 2700 2730 2024-01-05T08:00:00Z 2024年01月05日08时00分 10.1145/3632932 https://dl.acm.org/doi/abs/10.1145/3632932？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3632931？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会编程语言会议录，<a href=“https://dl.acm.org/toc/pacmpl/2024/8/POPL网站“>第8卷，第POPL期，第2667-2699页，2024年1月<br/＞ 《美国计算机学会程序设计语言会议录》，第8卷，POPL期，第2667-2699页，2024年1月<br/＞ 基于类型的渐进式打字性能优化 数字对象标识代码：10.1145/3632931 2024-01-05T08:47:51Z 约翰·彼得·坎波拉·穆罕默德·瓦希杜扎曼·坎申陈 美国计算机学会程序设计语言会议录 8 POPL公司 2667 2699 2024-01-05T08:00:00Z 2024-01-05T08:00:00Z 10.1145/3632931 https://dl.acm.org/doi/abs/10.1145/3632931？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=相关性 https://dl.acm.org/doi/abs/10.1145/3632922？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会编程语言会议录，<a href=“https://dl.acm.org/toc/pacmpl/2024/8/POPL网站“>第8卷，第POPL期，第2395-2424页，2024年1月<br/＞ 《美国计算机学会程序设计语言会议录》，第8卷，POPL期，第2395-2424页，2024年1月<br/＞ 静态安全WebAssembly的索引类型 数字对象标识代码：10.1145/3632922 2024-01-05T08:47:51Z 亚当·盖勒贾斯汀·弗兰克·威廉·鲍曼 美国计算机学会程序设计语言会议录 8 POPL公司 2395 2424 2024-01-05T08:00:00Z 2024-01-05T08:00:00Z 10.1145/3632922 https://dl.acm.org/doi/abs/10.1145/3632922？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey