| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| Caos：可复用的Scala Web动画器操作语义（附带实践教程） | Jos''e Proenc{c}a and Luc Edixhoven | 2304.14901 | cs.PL | 2023-05-01 |
| 编译器通过多阶段学习进行自动调优 | Mingxuan Zhu, Dan Hao and Junjie Chen | 2304.14908 | cs.PL | 2023-05-01 |
| 为Isabelle/HOL翻译VDM-SL定义的拓扑排序 | Leo Freitas | 2304.15006 | cs.PL | 2023-05-01 |
| 使用锁不变式证明逻辑原子性 | Roshan Sharma, Shengyi Wang, Alexander Oey, Anastasiia Evdokimova, Lennart Beringer, William Mansky | 2304.13898 | cs.PL | 2023-04-28 |
| 安全战略重写的追踪类型 | Rongxiao Fu, Ornela Dardha, Michel Steuwer | 2304.14154 | cs.PL | 2023-04-28 |
| 符合表示准确、纯函数式的高效逆向模式自动微分 | Mathieu Huot, Amir Shaikhha | 2212.09801 | cs.PL | 2023-04-27 |
| 当程序必须看油漆干燥时 | Danel Ahman | 2210.07738 | cs.PL | 2023-04-26 |
| Absynthe：基于抽象解释引导的综合 | Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn | 2302.13145 | cs.PL | 2023-04-26 |
| 递归程序的自动期望值分析 | Martin Avanzini and Georg Moser and Michael Schaper | 2304.01284 | cs.PL | 2023-04-26 |
| 资源操纵程序的资源规格 | Zachary Grannan and Alexander J. Summers | 2304.12530 | cs.PL | 2023-04-26 |
| 用于测试共识实现的领域特定语言 | Cezara Dragoi, Constantin Enea, Srinidhi Nagendra, Mandayam Srivas | 2303.05893 | cs.PL | 2023-04-25 |
| 将分配器视为装箱求解器揭开碎片化的神秘面纱 | Christos P. Lamprakos, Sotirios Xydis, Francky Catthoor and Dimitrios Soudris | 2304.10862 | cs.PL | 2023-04-25 |
| 排名超马丁格尔中的公平性 | Toru Takisaka, Libo Zhang, Changjiang Wang, Jiamou Liu | 2304.11363 | cs.PL | 2023-04-25 |
| 用正式验证的方法从具有循环和条件的概率程序中采样 | Alexander Bagnall, Gordon Stewart, Anindya Banerjee | 2211.06747 | cs.PL | 2023-04-24 |
| 文件格式解析的区间解析语法 | Jialun Zhang, Greg Morrisett, Gang Tan | 2304.04859 | cs.PL | 2023-04-24 |
| 有范围效应和处理程序的微积分 | Roger Bosman, Birthe van den Berg, Wenhao Tang, Tom Schrijvers | 2304.09697 | cs.PL | 2023-04-24 |
| 迭代前向-后向抽象解释的归纳程序合成 | Yongho Yoon, Woosuk Lee, Kwangkeun Yi | 2304.10768 | cs.PL | 2023-04-24 |
| 结构子类型作为参数化多态 | Wenhao Tang, Daniel Hillerstr"om, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley | 2304.08267 | cs.PL | 2023-04-18 |
| 在Rust中重新实现Mizar | Mario Carneiro | 2304.08391 | cs.PL | 2023-04-18 |
| flap：一种具有融合词法分析的确定性解析器 | Jeremy Yallop, Ningning Xie, Neel Krishnaswami | 2304.05276 | cs.PL | 2023-04-17 |
| LoRe：一种可验证安全的本地优先软件的编程模型 | Julian Haas (1), Ragnar Mogk (1), Elena Yanakieva (2), Annette Bieniusa (2), Mira Mezini (1) ((1) Technische Universit"at Darmstadt, (2) University of Kaiserslautern-Landau) | 2304.07133 | cs.PL | 2023-04-17 |
| 通信的演员自动机 -- 将 Erlang 进程建模为通信机器 | Dominic Orchard (University of Kent, UK), Mihail Munteanu (Masabi Ltd.), Paulo Torrens (University of Kent, UK) | 2304.06395 | cs.PL | 2023-04-14 |
| GSOS语言的声明性验证器 | Matteo Cimini (University of Massachusetts Lowell) | 2304.06397 | cs.PL | 2023-04-14 |
| 孤立事务的编排式编程 | Ton Smeele (Open University of the Netherlands), Sung-Shik Jongmans (Open University of the Netherlands, Centrum Wiskunde & Informatica) | 2304.06399 | cs.PL | 2023-04-14 |
| 让流程再次变小：重温流程框架 | Roland Meyer and Thomas Wies and Sebastian Wolff | 2304.04886 | cs.PL | 2023-04-12 |