| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 高阶MSL Horn约束 | Jerome Jochems and Eddie Jones and Steven Ramsay | 2210.14649 | cs.PL | 2022-10-27 |
| 使用示例传播的程序合成 | Niek Mulleners, Johan Jeuring, Bastiaan Heeren | 2210.13873 | cs.PL | 2022-10-26 |
| 带有数量的编程学科 | Steve McKeever | 2210.12359 | cs.PL | 2022-10-25 |
| 静态信息流控制的简化 | Hemant Gouni, Jonathan Aldrich | 2210.12996 | cs.PL | 2022-10-25 |
| 语言集成查询用于时间数据（扩展版） | Simon Fowler, Vashti Galpin, James Cheney | 2210.12077 | cs.PL | 2022-10-24 |
| 构造演算的强正规化 | Chris Casinghino | 2210.11240 | cs.PL | 2022-10-21 |
| 通过优雅的对象表示在子类中检测不合理的假设 | Vitaliy Korbashov, Nikolai Kudasov, Mikhail Olokin, Violetta Sim | 2209.01825 | cs.PL | 2022-10-17 |
| 专注于范围图解析查询：扩展版 | Aron Zwaan | 2210.06121 | cs.PL | 2022-10-13 |
| 度量程序合成 | John Feser, Isil Dillig, Armando Solar-Lezama | 2206.06164 | cs.PL | 2022-10-12 |
| 通用Go到Go：字典传递、单态化和混合 | Stephen Ellis, Shuofei Zhu, Nobuko Yoshida, Linhai Song | 2208.06810 | cs.PL | 2022-10-11 |
| 避免尖锐边缘的替代捕获 | Dougal Maclaurin, Alexey Radul, Adam Paszke | 2210.04729 | cs.PL | 2022-10-11 |
| 在模块化语言中移除合格名称 | Keehang Kwon and Daeseong Kang | 2210.03413 | cs.PL | 2022-10-10 |
| 使用选择性接收在消息传递并发编程中计算种族变体。 | Germ''an Vidal | 2210.03026 | cs.PL | 2022-10-07 |
| Mizar 数学库的集成网络平台 | Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho and Katsumi Wasaki | 2210.02336 | cs.PL | 2022-10-06 |
| Axon：深度学习图中的动态形状语言 | Alexander Collins, Vinod Grover | 2210.02374 | cs.PL | 2022-10-06 |
| 通过重写导向综合优化正则表达式 | Jedidiah McClurg, Miles Claver, Jackson Garner, Jake Vossen, Jordan Schmerge, Mehmet E. Belviranli | 2104.12039 | cs.PL | 2022-09-30 |
| 递归类型语义表达能力的机械化比较 | Dominique Devriese, Eric Mark Martin, Marco Patrignani | 2010.10859 | cs.PL | 2022-09-29 |
| Aeneas：通过函数转换进行Rust验证 | Son Ho, Jonathan Protzenko | 2206.07185 | cs.PL | 2022-09-29 |
| 全程归纳：验证无循环不变量的数组程序 | Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat | 2209.12456 | cs.PL | 2022-09-27 |
| 成本感知指称语义的元语言 | Yue Niu, Robert Harper | 2209.12669 | cs.PL | 2022-09-27 |
| 描述和检查编程语言自然语义定义的工具 | Georgian-Vlad Saioc (Department of Computer Science Aarhus University, Denmark), Hans H"uttel (Department of Computer Science Aalborg University, Denmark, Department of Computer Science University of Copenhagen, Denmark) | 2209.09471 | cs.PL | 2022-09-21 |
| MLIR中对稀疏张量计算的编译器支持 | Aart J.C. Bik, Penporn Koanantakool, Tatiana Shpeisman, Nicolas Vasilache, Bixia Zheng, Fredrik Kjolstad | 2202.04305 | cs.PL | 2022-09-20 |
| 鲁棒性的必要规范 | Julian Mackay, Sophia Drossopoulou, James Noble, Susan Eisenbach | 2209.08205 | cs.PL | 2022-09-20 |
| 随机程序的符号执行 | Zachary Susag, Sumit Lahiri, Justin Hsu, Subhajit Roy | 2209.08046 | cs.PL | 2022-09-19 |
| 依赖分析的单子和余单子方面 | Pritam Choudhury | 2209.06334 | cs.PL | 2022-09-15 |