| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 艾格：可审核、可执行、灵活的法律规定 | Alexander Bernauer, Richard A. Eisenberg | 2209.04939 | cs.PL | 2022-09-13 |
| 复杂于树的数据结构的类型检查 | Jin Sano, Naoki Yamamoto, Kazunori Ueda | 2209.05149 | cs.PL | 2022-09-13 |
| 使用Stellens"atze的模板化程序合成 | Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit J Motwani | 2209.03602 | cs.PL | 2022-09-09 |
| 来自具有效果库的规范引导的组件化合成 | Ashish Mishra, Suresh Jagannathan | 2209.02752 | cs.PL | 2022-09-08 |
| 使用Elegant Objects表示面向对象程序，检测未预料到的相互递归。 | Nikolai Kudasov, Mikhail Olokin, Oleksii Potyomkin, Nikolay Shilov, Maxim Stepanov | 2209.01803 | cs.PL | 2022-09-07 |
| 一个相对逐渐的类型理论 | Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, ''Eric Tanter | 2209.00975 | cs.PL | 2022-09-05 |
| 从自然语言查询中类型导向合成可视化 | Qiaochu Chen, Shankara Pailoor, Celeste Barnaby, Abby Criswell, Chenglong Wang, Greg Durrett, Isil Dillig | 2209.01081 | cs.PL | 2022-09-05 |
| Python类型提示是图灵完备的 | Ori Roth | 2208.14755 | cs.PL | 2022-09-01 |
| 具有非类型化、按值调用的λ演算中的程序等价性与不调用递归函数 | D''aniel Horp''acsi, P''eter Bereczky and Simon Thompson | 2208.14260 | cs.PL | 2022-08-31 |
| R编程语言的扩展和演进 | Timothy L Staples | 2208.12382 | cs.PL | 2022-08-29 |
| 数值约束的代数递归类型的随机生成器的自动合成 | Ghiles Ziat, Vincent Botbol, Matthieu Dien, Arnaud Gotlieb, Martin P''epin, Catherine Dubois | 2208.12747 | cs.PL | 2022-08-29 |
| 《“输入不变量”电子附录》 | Dominic Steinh"ofel and Andreas Zeller | 2208.12049 | cs.PL | 2022-08-26 |
| 修复现实世界正则表达式的拒绝服务漏洞 | Nariyoshi Chida and Tachio Terauchi | 2010.12450 | cs.PL | 2022-08-23 |
| 软件定义无线电的完整流融合 | Tomoaki Kobayashi (1) and Oleg Kiselyov (1) ((1) Tohoku University, Japan) | 2208.08732 | cs.PL | 2022-08-19 |
| 功能编排式编程 | Lu''is Cruz-Filipe, Eva Graversen, Lovro Lugovi''c, Fabrizio Montesi, Marco Peressotti | 2111.03701 | cs.PL | 2022-08-18 |
| 单调理论中的可证明复杂度不变推断 | Yotam M. Y. Feldman, Sharon Shoham | 2208.07451 | cs.PL | 2022-08-17 |
| 合成抽象变换器 | Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas Reps and Subhajit Roy | 2105.00493 | cs.PL | 2022-08-16 |
| 属性文法中语义动作的合成 | Pankaj Kumar Kalita, Miriyala Jeevan Kumar, Subhajit Roy | 2208.06916 | cs.PL | 2022-08-16 |
| 合适的非确定性：利用并发性验证具有未指定语义的C程序 | Eduard Kamburjan (University of Oslo, Oslo, Norway), Nathan Wasser (Sharpmind, Frankfurt, Germany) | 2208.04630 | cs.PL | 2022-08-10 |
| Lang-n-Send扩展：向监视器发送正则表达式 | Matteo Cimini (University of Massachusetts Lowell, USA) | 2208.04635 | cs.PL | 2022-08-10 |
| 指称语义作为功能型语言的成本循环提取基础 | Norman Danner and Daniel R. Licata | 2002.07262 | cs.PL | 2022-08-09 |
| 递归定义下的循环提取和指称语义 | Norman Danner | 2208.03243 | cs.PL | 2022-08-08 |
| 具有无上下文会话类型的多态λ演算 | Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos | 2106.06658 | cs.PL | 2022-08-03 |
| 类型化SLD-Resolution：逻辑编程的动态类型化 | Jo~ao Barbosa, M''ario Florido, V''itor Santos Costa | 2208.00192 | cs.PL | 2022-08-02 |
| 实施和验证释放-获取事务内存（扩展版） | Sadegh Dalvandi and Brijesh Dongol | 2208.00315 | cs.PL | 2022-08-02 |