| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 通过抽象解释推导逃逸分析：结果的证明 | Patricia M. Hill, Fausto Spoto | cs/0607101 | cs.PL | 2007-05-23 |
| 命令式程序的等值关系分析 | P. Emelyanov | cs/0609092 | cs.PL | 2007-05-23 |
| 非可分框架的数据流分析复杂性 | Bageshri Karkare (Sathe) and Uday Khedker | cs/0610164 | cs.PL | 2007-05-23 |
| 使用追踪驱动程序进行外部动态进程观察 | Pierre Deransart | cs/0701106 | cs.PL | 2007-05-23 |
| JavaTA：Java的基于逻辑的调试器 | Hani Girgis, Bharat Jayaraman | cs/0701107 | cs.PL | 2007-05-23 |
| 通过静态分析和剖析实现逻辑程序的执行时间估计 | Edison Mera, Pedro Lopez-Garcia, German Puebla, Manuel Carro, Manuel Hermenegildo | cs/0701108 | cs.PL | 2007-05-23 |
| ExSched：用电子表格范式解决约束满足问题 | Siddharth Chitnis, Madhu Yennamani, Gopal Gupta | cs/0701109 | cs.PL | 2007-05-23 |
| 结合不同类型分析的基于Web的工具 | Kim Henriksen, John Gallagher | cs/0701110 | cs.PL | 2007-05-23 |
| 关于增量抽象传递代码的一些问题 | Elvira Albert, Puri Arenas, German Puebla | cs/0701111 | cs.PL | 2007-05-23 |
| Curry程序的通用分析环境 | Michael Hanus | cs/0701147 | cs.PL | 2007-05-23 |
| 第16届逻辑方法在编程环境中的工作坊论文集（WLPE2006） | Wim Vanhoof and Susana Munoz-Hernandez | cs/0701148 | cs.PL | 2007-05-23 |
| 朝向实用的宏树转换类型检查 | Alain Frisch (INRIA Rocquencourt), Haruo Hosoya (CST) | cs/0701176 | cs.PL | 2007-05-23 |
| 函数式程序中堆数据的活跃性 | Amey Karkare, Uday Khedker, Amitabha Sanyal | cs/0703155 | cs.PL | 2007-05-23 |
| 逻辑编程中的作用域构造：实现问题及其解决方法 | Gopalan Nadathur, Bharat Jayaraman and Keehang Kwon | cs/9809016 | cs.PL | 2007-05-23 |
| Java中的语言反射 | G. N. C. Kirby, R. Morrison, D. W. Stemple | cs/9810027 | cs.PL | 2007-05-23 |
| 逻辑程序的多态基础性分析 | Lunjin Lu (University of Waikato) | cs/9811001 | cs.PL | 2007-05-23 |
| 编程语言的语义：以工具为导向的方法 | Jan Heering, Paul Klint | cs/9911001 | cs.PL | 2007-05-23 |