| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| XSB：将Prolog扩展为表格逻辑编程 | Terrance Swift and David S. Warren | 1012.5123 | cs.PL | 2010-12-24 |
| 通过统一和临界对计算实现程序变换的正确性 | Conrad Rau, Manfred Schmidt-Schau{ss} | 1012.4893 | cs.PL | 2010-12-23 |
| 终止转换：一种灵活的通用递归终止方法 | Aaron Stump (The University of Iowa), Vilhelm Sj"oberg (University of Pennsylvania), Stephanie Weirich (University of Pennsylvania) | 1012.4900 | cs.PL | 2010-12-23 |
| ECLiPSe - 从LP到CLP | Joachim Schimpf and Kish Shen | 1012.4240 | cs.PL | 2010-12-21 |
| 提高类型分析的精确性：使用非区分性联合 | Lunjin Lu | cs/0612063 | cs.PL | 2010-12-16 |
| SICStus Prolog — 第25个年头 | Mats Carlsson and Per Mildner | 1011.5640 | cs.PL | 2010-11-29 |
| SWI-Prolog | Jan Wielemaker and Tom Schrijvers and Markus Triska and Torbj"orn Lager | 1011.5332 | cs.PL | 2010-11-26 |
| 强制执行Java中的安全对象初始化 | Laurent Hubert (INRIA - IRISA), Thomas Jensen (INRIA - IRISA), Vincent Monfort (INRIA - IRISA), David Pichardie (INRIA - IRISA) | 1007.3133 | cs.PL | 2010-11-22 |
| 使用逻辑分析和转换验证Java字节码 | Elvira Albert, Miguel G''omez-Zamalloa, Laurent Hubert, German Puebla | 1007.3250 | cs.PL | 2010-11-22 |
| 使用GCC链接时优化优化现实世界应用 | T. Glek, J. Hubicka | 1010.2196 | cs.PL | 2010-11-05 |
| 静态与动态SAGAs | Ivan Lanese (Focus Team, University of Bologna/INRIA) | 1010.5569 | cs.PL | 2010-10-28 |
| 机械化语义 | Xavier Leroy (INRIA Rocquencourt) | 1010.5582 | cs.PL | 2010-10-28 |
| 抽象传递代码中的证书大小减小 | Elvira Albert, Puri Arenas, Germ''an Puebla, Manuel Hermenegildo | 1010.4533 | cs.PL | 2010-10-22 |
| 指导指令序列的导向片段 | Jan A.Bergstra | 1010.2850 | cs.PL | 2010-10-15 |
| 编译器中的成本注释认证 | Roberto M. Amadio (PPS), Nicolas Ayache (PPS, INRIA Paris - Rocquencourt), Yann R''egis-Gianas (PPS, INRIA Paris - Rocquencourt), Ronan Saillard (PPS, INRIA Paris - Rocquencourt) | 1010.1697 | cs.PL | 2010-10-11 |
| 面向概念的编程 | Alexandr Savinov | 0806.4746 | cs.PL | 2010-09-28 |
| CICLOPS-WLPE 2010会议记录 | German Vidal, Neng-Fa Zhou | 1009.4020 | cs.PL | 2010-09-22 |
| 元谓词语义研究导向 | Paulo Moura | 1009.3773 | cs.PL | 2010-09-21 |
| Prolog程序的可移植性：理论与案例研究 | Jan Wielemaker and V''itor Santos Costa | 1009.3796 | cs.PL | 2010-09-21 |
| 分布式工作窃取用于约束求解 | Vasco Pedro and Salvador Abreu | 1009.3800 | cs.PL | 2010-09-21 |
| WAM作为EAM的铸造 | Paulo Andr''e and Salvador Abreu | 1009.3806 | cs.PL | 2010-09-21 |
| 评估延时调用在控制栈上的应用 | Stephen Chang, David Van Horn, Matthias Felleisen | 1009.3174 | cs.PL | 2010-09-17 |
| 基于线性逻辑的带有析取的约束处理规则分析 | Hariolf Betz, Thom W. Fr"uhwirth | 1009.2900 | cs.PL | 2010-09-16 |
| 抽象化抽象机 | David Van Horn and Matthew Might | 1007.4446 | cs.PL | 2010-09-09 |
| 从IEC 61131-3到BIP的属性保持转换 | Jan Olaf Blech, Anton Hattendorf, Jia Huang | 1009.0817 | cs.PL | 2010-09-07 |