| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 在GraalVM Native Image中比较快速类型分析和指向分析 | David Koz''ak, Vojin Jovanovic, Codruc{t} Stancu, Tom''av{s} Vojnar, Christian Wimmer | 2308.16566 | cs.PL | 2023-09-01 |
| 展示（混合）活跃逻辑文档和Ciao Prolog游乐场以及验证教程应用 | Daniela Ferreiro, Jos''e F. Morales, Salvador Abreu, Manuel V. Hermenegildo | 2308.15896 | cs.PL | 2023-08-31 |
| 通过开发一个语义版本工具来加速Rust中的软件包扩展 | Tomasz Nowak, Micha{l} Staniewski, Mieszko Grodzicki, Bartosz Smolarczyk | 2308.14623 | cs.PL | 2023-08-29 |
| 关于关系程序逻辑中的单位子模式的差异 | Tetsuya Sato and Shin-ya Katsumata | 2206.05716 | cs.PL | 2023-08-28 |
| 通过语义正则表达式合成进行数据提取 | Qiaochu Chen, Arko Banerjee, c{C}au{g}atay Demiralp, Greg Durrett, Isil Dillig | 2305.10401 | cs.PL | 2023-08-28 |
| 可组合的有类型流式数据流设计的中间表示 | Matthijs A. Reukers, Yongding Tian, Zaid Al-Ars, Peter Hofstee, Matthijs Brobbel, Johan Peltenburg, Jeroen van Straten | 2308.13436 | cs.PL | 2023-08-28 |
| Tau Prolog：面向Web的Prolog解释器 | Jos''e Antonio Riaza Valverde | 2308.11897 | cs.PL | 2023-08-25 |
| Saggitarius：用于指定语法领域的DSL | Anders Miltner and Devon Loehr and Arnold Mong and Kathleen Fisher and David Walker | 2308.12329 | cs.PL | 2023-08-25 |
| 顺序核心Erlang的帧堆栈语义 | P''eter Bereczky, D''aniel Horp''acsi, Simon Thompson | 2308.12403 | cs.PL | 2023-08-25 |
| 合成规范 | Kanghee Park, Loris D'Antoni, Thomas Reps | 2301.11117 | cs.PL | 2023-08-24 |
| 概率循环的自动敏感性分析 | Marcel Moosbrugger, Julian M"ullner, Laura Kov''acs | 2305.15259 | cs.PL | 2023-08-24 |
| 编程语言中的基本结构 | Peter D. Mosses | 2107.10545 | cs.PL | 2023-08-22 |
| 可组合协程的类型化 | Qiqi Gu and Wei Ke | 2308.10548 | cs.PL | 2023-08-22 |
| 关于在Bach中引入受限列表的表现能力、正确性和效率问题 | Manel Barkallah (Nadi Research Institute Faculty of Computer Science University of Namur Namur, Belgium), Jean-Marie Jacquet (Nadi Research Institute Faculty of Computer Science University of Namur Namur, Belgium) | 2308.10655 | cs.PL | 2023-08-22 |
| 通过共归分析进行平摊分析 | Harrison Grodin (1), Robert Harper (1) ((1) Carnegie Mellon University) | 2303.16048 | cs.PL | 2023-08-21 |
| 延续 WebAssembly 与效果处理器 | Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerstr"om, KC Sivaramakrishnan, Matija Pretnar, Sam Lindley | 2308.08347 | cs.PL | 2023-08-21 |
| 分离度：一个灵活的类型系统用于数据竞争预防 | Yichen Xu and Martin Odersky | 2308.07474 | cs.PL | 2023-08-16 |
| 多态类型状态用于会话类型 | Hannes Saffrich and Peter Thiemann | 2210.17335 | cs.PL | 2023-08-15 |
| 虚拟化内存地址的模态抽象 | Ismail Kuru and Colin S. Gordon | 2307.14471 | cs.PL | 2023-08-15 |
| nelli：MLIR的轻量级前端 | Maksim Levental, Alok Kamatar, Ryan Chard, Kyle Chard, Ian Foster | 2307.16080 | cs.PL | 2023-08-15 |
| 处理器内存中神经网络加速器的指令集架构（ISA） | Xiaoming Chen | 2308.06449 | cs.PL | 2023-08-15 |
| 模块化系统合成 | Kanghee Park, Keith J.C. Johnson, Loris D'Antoni, Thomas Reps | 2308.06956 | cs.PL | 2023-08-15 |
| 第十二届国际功能编程教育趋势研讨会论文集 | Elena Machkasova (University of Minnesota, Morris) | 2308.06110 | cs.PL | 2023-08-14 |
| 替代非良基文法的绑定语法 | Ralph Matthes and Kobe Wullaert and Benedikt Ahrens | 2308.05485 | cs.PL | 2023-08-11 |
| 护照: 使用标识符提高自动化形式验证 | Alex Sanchez-Stern and Emily First and Timothy Zhou and Zhanna Kaufman and Yuriy Brun and Talia Ringer | 2204.10370 | cs.PL | 2023-08-10 |