| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 包含算术谓词的程序的自动终止分析 | Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik | cs/0011036 | cs.PL | 2007-05-23 |
| 通过补集分解非冗余共享 | Enea Zaffanella, Patricia M. Hill and Roberto Bagnara | cs/0101025 | cs.PL | 2007-05-23 |
| 线性逻辑程序的有效不动点语义 | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli | cs/0102025 | cs.PL | 2007-05-23 |
| 集合共享的正确性、幂等性和可交换性 | Patricia M. Hill, Roberto Bagnara, Enea Zaffanella | cs/0102030 | cs.PL | 2007-05-23 |
| 约束求解器设计中的组件编程与互操作性 | Frederic Goualard | cs/0105011 | cs.PL | 2007-05-23 |
| 概率异步π演算 | Oltea Mihaela Herescu and Catuscia Palamidessi | cs/0109002 | cs.PL | 2007-05-23 |
| 关于广义就餐哲学家问题 | Oltea Mihaela Herescu and Catuscia Palamidessi | cs/0109003 | cs.PL | 2007-05-23 |
| 使用重写规则和策略进行时态自动机验证 | Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner | cs/0109024 | cs.PL | 2007-05-23 |
| CLP与LS在基于日志的协调问题上的比较 | Francois Fages | cs/0109033 | cs.PL | 2007-05-23 |
| 分支：约束求解的本质 | Antonio J. Fernandez, Patricia M. Hill | cs/0109060 | cs.PL | 2007-05-23 |
| CLP方法在二维角度摆放中的应用 | Tomasz Szczygiel | cs/0109066 | cs.PL | 2007-05-23 |
| 解决平衡学术课程问题时的变量和值排序 | Carlos Castro and Sebastian Manzano | cs/0110007 | cs.PL | 2007-05-23 |
| ERCIM工作组约束问题第六届年会议记录 | Krzysztof R. Apt, Roman Bartak, Eric Monfroy, Francesca Rossi, Sebastian Brand | cs/0110012 | cs.PL | 2007-05-23 |
| 现实情境下用于Mercury的编译时垃圾收集系统的实际方面 | Nancy Mazur (1), Peter Ross (2), Gerda Janssens (1) and Maurice Bruynooghe (1) ((1) Dept. of Computer Science K.U.Leuven, (2) Mission Critical) | cs/0110037 | cs.PL | 2007-05-23 |
| Prolog中的高效逻辑基础分析 | Jacob M. Howe and Andy King | cs/0201012 | cs.PL | 2007-05-23 |
| 见证属性和Prolog剪枝的语义 | James H. Andrews | cs/0201029 | cs.PL | 2007-05-23 |
| 使用参数集约束在CLP程序中定位错误 | W. Drabent, J. Maluszynski and P. Pietrzak | cs/0202010 | cs.PL | 2007-05-23 |
| 通往通用重构 | Ralf Laemmel | cs/0203001 | cs.PL | 2007-05-23 |
| 分享的三种优化 | Jacob M. Howe and Andy King | cs/0203022 | cs.PL | 2007-05-23 |
| 多态交响曲的草图 | Ralf Laemmel | cs/0204013 | cs.PL | 2007-05-23 |
| 函数式战略编程的设计模式 | Ralf Laemmel and Joost Visser | cs/0204015 | cs.PL | 2007-05-23 |
| 多范式编程背景下的逻辑编程：Oz的经验 | Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte | cs/0208029 | cs.PL | 2007-05-23 |
| 所有权限制确保面向对象程序的表示独立性 | Anindya Banerjee (1), David A. Naumann (2) ((1) Kansas State University, (2) Stevens Institute of Technology) | cs/0212003 | cs.PL | 2007-05-23 |
| 战略多态性仅需两个组合器！ | Ralf Laemmel and Joost Visser | cs/0212048 | cs.PL | 2007-05-23 |
| 媒体表达的语言 | Alexandros Eleftheriadis and Danny Hong | cs/0301003 | cs.PL | 2007-05-23 |