| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 从逻辑到功能性逻辑程序 | Michael Hanus | 2205.06841 | cs.PL | 2022-05-17 |
| 移动的坚固安全性 | Marco Patrignani, Sam Blackshear | 2110.05043 | cs.PL | 2022-05-16 |
| UniHeap：在非易失性内存中管理跨托管运行时的持久对象 | Daixuan Li, Benjamin Reidys, Jinghan Sun, Thomas Shull, Josep Torrellas, Jian Huang | 2205.06444 | cs.PL | 2022-05-16 |
| 灵活多方会话协议的设计契约 - 扩展版 | Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida | 2205.06535 | cs.PL | 2022-05-16 |
| 组合式编程的直接基础 | Andong Fan (1), Xuejing Huang (2), Han Xu (3), Yaozhu Sun (2) and Bruno C. d. S. Oliveira (2) ((1) Zhejiang University, (2) The University of Hong Kong, (3) Peking University) | 2205.06150 | cs.PL | 2022-05-13 |
| WebRobot：使用交互式编程演示的网络机器人流程自动化 | Rui Dong, Zhicheng Huang, Ian Iong Lam, Yan Chen, Xinyu Wang | 2203.09993 | cs.PL | 2022-05-12 |
| 我们可以并行运行吗？针对TornadoVM的循环并行化自动化 | Rishi Sharma, Shreyansh Kulshreshtha, Manas Thakur | 2205.03590 | cs.PL | 2022-05-10 |
| 基于规范的概率程序切片 | Marcelo Navarro and Federico Olmedo | 2205.03707 | cs.PL | 2022-05-10 |
| 使ProB与SWI-Prolog兼容 | David Gele{ss}us, Michael Leuschel | 2205.04373 | cs.PL | 2022-05-10 |
| 使用FLAQR安全地应用共识和复制 | Priyanka Mondal, Maximilian Algehed, Owen Arden | 2205.04384 | cs.PL | 2022-05-10 |
| 实施编舞提取 | Luis Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi, Larisa Safina | 2205.02636 | cs.PL | 2022-05-09 |
| Synchron -- 嵌入式系统的API和运行时 | Abhiroop Sarkar, Bo Joel Svensson, Mary Sheeran | 2205.03262 | cs.PL | 2022-05-09 |
| 低代码编程模型 | Martin Hirzel | 2205.02282 | cs.PL | 2022-05-06 |
| 逆转一种命令式并发编程语言 | James Hoey, Irek Ulidowski | 2205.01171 | cs.PL | 2022-05-04 |
| 渐进依赖类型编程的命题等同性 | Joseph Eremondi, Ronald Garcia, ''Eric Tanter | 2205.01241 | cs.PL | 2022-05-04 |
| 本地链中的生锈链接 | James Noble, Julian Mackay, Tobias Wrigstad | 2205.00795 | cs.PL | 2022-05-03 |
| 蒲公英：元素函数的认证近似 | Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin | 2202.05472 | cs.PL | 2022-05-02 |
| 真实性：具有可交换性的声明式多核编程 | Adam Chen, Parisa Fathololumi, Eric Koskinen, Jared Pincus | 2203.06229 | cs.PL | 2022-05-02 |
| 恐慌中保持安全：使用多方会话类型的仿射Rust编程 | Nicolas Lagaillardie, Rumyana Neykova and Nobuko Yoshida | 2204.13464 | cs.PL | 2022-04-29 |
| 终止不敏感非干扰的束语义 | Jonathan Sterling and Robert Harper | 2204.09421 | cs.PL | 2022-04-21 |
| 水族馆：Cassiopea和Alewife语言 | David A. Holland and Jingmei Hu and Ming Kawaguchi and Eric Lu and Stephen Chong and Margo I. Seltzer | 1908.00093 | cs.PL | 2022-04-14 |
| 使用XML跨阶段通信的模块化和教学编译器设计 | Eduardo Adam Navas-L''opez | 2204.06156 | cs.PL | 2022-04-14 |
| 适用于构造正确性编程的特征 | Tobias Runge and Alex Potanin and Thomas Th"um and Ina Schaefer | 2204.05644 | cs.PL | 2022-04-13 |
| 语言互操作性的语义正确性 | Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed | 2202.13158 | cs.PL | 2022-04-12 |
| 量子程序的形式化方法：一项调查 | Christophe Chareton, S''ebastien Bardin, Dongho Lee, Beno^it Valiron, Renaud Vilmart, Zhaowei Xu | 2109.06493 | cs.PL | 2022-04-11 |