| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| CLAIRE：结合集合、搜索和规则以更好地表达算法 | Yves Caseau, Francois-Xavier Josset, Francois Laburthe | cs/0405091 | cs.PL | 2007-05-23 |
| 学习车辆路径问题的混合算法 | Yves Caseau, Glenn Silverstein, Francois Laburthe | cs/0405092 | cs.PL | 2007-05-23 |
| 最坏情况下的地面性分析利用明确布尔函数 | Samir Genaim, Michael Codish, Jacob M. Howe | cs/0405101 | cs.PL | 2007-05-23 |
| 函数逻辑编程中失败的证明论方法 | Francisco Javier Lopez-Fraguas, Jaime Sanchez-Hernandez | cs/0405102 | cs.PL | 2007-05-23 |
| 安全的基于Prolog的移动代码 | Seng Wai Loke, Andrew Davison | cs/0406012 | cs.PL | 2007-05-23 |
| O(1)无循环可逆树导航 | Richard A. O'Keefe | cs/0406014 | cs.PL | 2007-05-23 |
| 一种用于软AllDifferent约束的超弧一致性算法 | Willem Jan van Hoeve | cs/0407043 | cs.PL | 2007-05-23 |
| Jartege：Java类单元测试的随机生成工具 | Catherine Oriat (LSR - IMAG) | cs/0412012 | cs.PL | 2007-05-23 |
| 弱关系数值抽象的扩展广义算子（扩展摘要） | Roberto Bagnara, Patricia M. Hill, Elena Mazzi, and Enea Zaffanella | cs/0412043 | cs.PL | 2007-05-23 |
| 在动作规则中编程有限域约束传播器 | Neng-Fa Zhou | cs/0506005 | cs.PL | 2007-05-23 |
| 面向对象模块的快速重新编译 | Jerome Collin (Computer Engineering, Ecole Polytechnique de Montreal), Michel Dagenais (Computer Engineering, Ecole Polytechnique de Montreal) | cs/0506035 | cs.PL | 2007-05-23 |
| 二元约束逻辑程序的改进非终止准则 | Etienne Payet and Fred Mesnard | cs/0508106 | cs.PL | 2007-05-23 |
| Haskell被忽视的对象系统 | Oleg Kiselyov and Ralf Laemmel | cs/0509027 | cs.PL | 2007-05-23 |
| 保留分层和安全性的语言嵌入 | Todd L. Veldhuizen | cs/0509057 | cs.PL | 2007-05-23 |
| 使用幻影类型和递归方案的实用数据类型特化 | Matthew Fluet, Riccardo Pucella | cs/0510074 | cs.PL | 2007-05-23 |
| 检查C++程序的维度一致性 | I. Josopait | cs/0512026 | cs.PL | 2007-05-23 |
| 基于WAM的Prolog系统的增量复制垃圾收集 | Ruben Vandeginste, Bart Demoen | cs/0601003 | cs.PL | 2007-05-23 |
| 规范的抽象语法树 | Antoine Reilles (INRIA Lorraine - LORIA) | cs/0601019 | cs.PL | 2007-05-23 |
| 自动删除冗余参数 | Maria Alpuente, Santiago Escobar, Salvador Lucas | cs/0601039 | cs.PL | 2007-05-23 |
| 有限域上的约束函数逻辑编程 | Antonio J. Fernandez, Teresa Hortala-Gonzalez, Fernando Saenz-Perez and Rafael del Vado-Virseda | cs/0601071 | cs.PL | 2007-05-23 |
| 逻辑程序解释的组合语义 | M.H. van Emden | cs/0602098 | cs.PL | 2007-05-23 |
| 走向应用关系编程 | H. Ibrahim and M.H. van Emden | cs/0602099 | cs.PL | 2007-05-23 |
| CHR的组合语义 | Maurizio Gabbrielli and Maria Chiara Meo | cs/0603079 | cs.PL | 2007-05-23 |
| Prolog程序的高效压缩 | Alin Suciu, Kalman Pusztai | cs/0603100 | cs.PL | 2007-05-23 |
| 解析可转换的LR(1)语言 | Blake Hegerle | cs/0605104 | cs.PL | 2007-05-23 |