| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 关于将并行性和表格化应用于逻辑程序 | Ricardo Rocha and Fernando Silva and Vitor Santos Costa | cs/0308007 | cs.PL | 2007-05-23 |
| cTI：一种基于约束的ISO-Prolog终止推断工具 | Fred Mesnard and Roberto Bagnara | cs/0309028 | cs.PL | 2007-05-23 |
| 使用线性求解器计算凸包 | Florence Benoy and Andy King and Fred Mesnard | cs/0311002 | cs.PL | 2007-05-23 |
| 通用且高效的程序监控：通过追踪分析 | Erwan Jahier and Mireille Ducass'e | cs/0311016 | cs.PL | 2007-05-23 |
| 变色龙类型调试器 (工具演示) | Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny | cs/0311023 | cs.PL | 2007-05-23 |
| 一个非常简短的自解释程序 | Oleg Mazonka, Daniel B. Cristofani | cs/0311032 | cs.PL | 2007-05-23 |
| 使用反向分析推断逻辑程序的终止条件 | Samir Genaim and Michael Codish | cs/0312023 | cs.PL | 2007-05-23 |
| 一个开放式的树 | Henk Vandecasteele and Gerda Janssens | cs/0312027 | cs.PL | 2007-05-23 |
| 有限和有理树语言分析中集合共享、自由度和线性的正确、精确和高效集成 | Patricia M. Hill, Enea Zaffanella, Roberto Bagnara | cs/0401021 | cs.PL | 2007-05-23 |
| 增强型共享分析技术：全面评估 | Roberto Bagnara, Enea Zaffanella, Patricia M. Hill | cs/0401022 | cs.PL | 2007-05-23 |
| C++中的反射系统 | Duraid Madina and Russell K. Standish | cs/0401024 | cs.PL | 2007-05-23 |
| 向阿兰·科尔梅罗致敬 | Jacques Cohen | cs/0402058 | cs.PL | 2007-05-23 |
| 基于所需缩减的功能逻辑程序的专业化 | Maria Alpuente, Michael Hanus, Salvador Lucas, German Vidal | cs/0403011 | cs.PL | 2007-05-23 |
| 幽灵类型和子类型 | Matthew Fluet, Riccardo Pucella | cs/0403034 | cs.PL | 2007-05-23 |
| 逻辑编程中高阶特征的处理 | Gopalan Nadathur | cs/0404020 | cs.PL | 2007-05-23 |
| 惰性函数逻辑编程的一般框架与代数多态类型 | Puri Arenas-Sanchez, Mario Rodriguez-Artalejo | cs/0404050 | cs.PL | 2007-05-23 |
| Qu-Prolog 中的多线程和消息通信 | Keith L. Clark, Peter J. Robinson, Richard Hagen | cs/0404052 | cs.PL | 2007-05-23 |
| 带有遗传性哈罗普公式的约束逻辑编程 | Javier Leach, Susana Nieva, Mario Rodriguez-Artalejo | cs/0404053 | cs.PL | 2007-05-23 |
| 基于约束逻辑的语言的有限树分析：完整无删减版本 | Roberto Bagnara, Roberta Gori, Patricia M. Hill, and Enea Zaffanella | cs/0404055 | cs.PL | 2007-05-23 |
| Lambda项规范化中的约简策略及其对堆使用的影响 | Xiaochu Qi | cs/0405075 | cs.PL | 2007-05-23 |
| 高阶并发 Win32 编程 | Riccardo Pucella | cs/0405079 | cs.PL | 2007-05-23 |
| 使用函数式语言进行Win32应用程序编程的方面 | Riccardo Pucella, Erik Meijer, Dino Oliva | cs/0405082 | cs.PL | 2007-05-23 |
| 互操作性框架 | Kathleen Fisher, Riccardo Pucella, John Reppy | cs/0405084 | cs.PL | 2007-05-23 |
| 关于PCF中一阶布尔函数的表达能力 | Riccardo Pucella, Prakash Panangaden | cs/0405085 | cs.PL | 2007-05-23 |
| 高级网络与移动代码和一阶AND-继续 | Paul Tarau, Veronica Dahl | cs/0405088 | cs.PL | 2007-05-23 |