| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| TCHR：一个用于表格化CLP的框架 | Tom Schrijvers, Bart Demoen, David S. Warren | 0712.3830 | cs.PL | 2007-12-27 |
| Prolog Resolution Box Model的观察语义 | Pierre Deransart, Mireille Ducass''e, G''erard Ferrand | 0711.4071 | cs.PL | 2007-11-27 |
| 小步骤Cminor的分离逻辑 | Andrew W. Appel (INRIA Rocquencourt), Sandrine Blazy (CEDRIC, INRIA Rocquencourt) | 0707.4389 | cs.PL | 2007-07-31 |
| 如何做到正确、懒惰和高效？ | Catherine Recanati (LIPN) | 0707.3807 | cs.PL | 2007-07-26 |
| 刚性循环的投影语义 | Jan A. Bergstra and Alban Ponse | 0707.1059 | cs.PL | 2007-07-10 |
| 一种用于分层体系结构的高效OpenMP运行时系统 | Samuel Thibault (INRIA Futurs), Franc{c}ois Broquedis (INRIA Futurs), Brice Goglin (INRIA Futurs), Raymond Namyst (INRIA Futurs), Pierre-Andr''e Wacrenier (INRIA Futurs) | 0706.2073 | cs.PL | 2007-06-15 |
| SL同步语言，重新审视 | Roberto Amadio (PPS) | cs/0511092 | cs.PL | 2007-06-13 |
| 同步合作线程的资源控制 | Roberto Amadio (PPS), Silvano Dal Zilio (LIF) | cs/0512057 | cs.PL | 2007-06-13 |
| 响应式并发编程的重新审视 | Roberto Amadio (PPS), Gerard Boudol, Ilaria Castellani, Frederic Boussinot | cs/0512058 | cs.PL | 2007-06-12 |
| 线性表格策略与优化 | Neng-Fa Zhou, Taisuke Sato, and Yi-Dong Shen | 0705.3468 | cs.PL | 2007-05-25 |
| 提高网络应用协议实现鲁棒性的基于语言的方法 | Burgy Laurent (INRIA Futurs), Laurent R''eveill`ere (INRIA Futurs), Julia Lawall (DIKU), Gilles Muller (INRIA Rennes) | 0704.1373 | cs.PL | 2007-05-23 |
| 不将类型序列化的情况下进行电子串行化打字 | Gr''egoire Henry (PPS), Michel Mauny (INRIA Rocquencourt, ENSTA-UMA), Emmanuel Chailloux (PPS) | 0705.1452 | cs.PL | 2007-05-23 |
| 在 .Net 框架中融合 Objective Caml 和 C# 编程模型 | Emmanuel Chailloux (PPS), Gr''egoire Henry (PPS), Rapha"el Montelatici (PPS) | 0705.1458 | cs.PL | 2007-05-23 |
| 改进Psi-SSA表示方法 | Francois De Ferriere | 0705.2126 | cs.PL | 2007-05-23 |
| Array-OL的初等变换分析 | Paul Feautrier (LIP, INRIA Rh^one-Alpes) | 0705.2145 | cs.PL | 2007-05-23 |
| 分形符号分析 | Nikolay Mateev, Vijay Menon, Keshav Pingali | cs/0001009 | cs.PL | 2007-05-23 |
| 关于冗余消除容忍调度规则 | F. Ferrucci, G. Pacini, M.I. Sessa | cs/0004006 | cs.PL | 2007-05-23 |
| 任务框架 | Burkhard D. Steinmacher-Burow | cs/0004011 | cs.PL | 2007-05-23 |
| 应用软件、领域特定语言和语言设计助手 | Jan Heering | cs/0005002 | cs.PL | 2007-05-23 |
| C++编程语言用于抽象的大规模并行SIMD架构 | Alessandro Lonardo, Emanuele Panizzi and Benedetto Proietti | cs/0005023 | cs.PL | 2007-05-23 |
| 类型类和约束处理规则 | Kevin Glynn, Martin Sulzmann, and Peter J. Stuckey | cs/0006034 | cs.PL | 2007-05-23 |
| 并发语言Aldwych | Matthew Huntbach | cs/0009029 | cs.PL | 2007-05-23 |
| 实施重叠规则的方法在标准 ML 中的应用 | Riccardo Pucella | cs/0010009 | cs.PL | 2007-05-23 |
| 面向基于规则的通用视觉系统的可视化编程 | Berthold Hoffmann, Mark Minas | cs/0010016 | cs.PL | 2007-05-23 |
| 使用一般术语序的可接受性对逻辑程序进行终止分析 | Alexander Serebrenik, Danny De Schreye | cs/0011025 | cs.PL | 2007-05-23 |