| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| Datalog 中的约束传播近似 | Dario Campagna, Beata Sarna-Starosta and Tom Schrijvers | 1112.3787 | cs.PL | 2011-12-19 |
| 双射术语编码 | Paul Tarau | 1112.3788 | cs.PL | 2011-12-19 |
| 冒泡算法的实现 | Abdulla Alqaddoumi and Enrico Pontelli | 1112.3789 | cs.PL | 2011-12-19 |
| 基于自动定理证明的依赖类型编程 | Alasdair Armstrong, Simon Foster and Georg Struth | 1112.3833 | cs.PL | 2011-12-19 |
| 领域特定的编程语言中的Unicode用于建模和仿真：以ScalaTion为案例研究 | Michael E. Cotterell, John A. Miller and Tom Horton | 1112.1751 | cs.PL | 2011-12-09 |
| 编译器优化：转换工具竞赛的案例 | Sebastian Buchwald (Karlsruhe Institute of Technology (KIT)), Edgar Jakumeit (Karlsruhe Institute of Technology (KIT)) | 1111.4737 | cs.PL | 2011-11-22 |
| 使用GrGen.NET解决TTC 2011编译器优化案例 | Sebastian Buchwald (Karlsruhe Institute of Technology (KIT)), Edgar Jakumeit (Karlsruhe Institute of Technology (KIT)) | 1111.4742 | cs.PL | 2011-11-22 |
| 使用GrGen.NET解决TTC 2011重构案例 | Edgar Jakumeit (Karlsruhe Institute of Technology (KIT)), Sebastian Buchwald (Karlsruhe Institute of Technology (KIT)) | 1111.4751 | cs.PL | 2011-11-22 |
| 用GrGen.NET说"Hello World"——TTC 2011教学案例的解决方案 | Sebastian Buchwald (Karlsruhe Institute of Technology (KIT)), Edgar Jakumeit (Karlsruhe Institute of Technology (KIT)) | 1111.4757 | cs.PL | 2011-11-22 |
| 通过模板专用容器的C++标准模板库 | N. Pataki | 1111.3673 | cs.PL | 2011-11-17 |
| 高阶程序的堆栈汇总控制流分析 | Christopher Earl, Matthew Might, David Van Horn | 1009.1560 | cs.PL | 2011-11-10 |
| FORAY-GEN：用于内存优化的仿射函数自动生成 | Ilya Issenin, Nikil Dutt | 0710.4640 | cs.PL | 2011-11-09 |
| 从类C语言进行硬件综合的挑战 | Stephen A. Edwards | 0710.4683 | cs.PL | 2011-11-09 |
| 在细粒度可配置体系结构中，存在标量替换的寄存器分配算法 | Nastaran Baradaran, Pedro C. Diniz | 0710.4702 | cs.PL | 2011-11-09 |
| 基于约束网络的内存布局优化方法 | G. Chen, M. Kandemir, M. Karakoy | 0710.4807 | cs.PL | 2011-11-09 |
| 变色龙语言 第一部分：处理器 | O. Cugnon de Sevricourt and V. Tariel | 1110.4802 | cs.PL | 2011-10-24 |
| 并发面向对象编程中的通道作为对象 | Joana Campos (University of Lisbon), Vasco T. Vasconcelos (University of Lisbon) | 1110.4157 | cs.PL | 2011-10-20 |
| Haskell中的会话类型推断 | Keigo Imai (IT Planning Inc., Japan), Shoji Yuen (Graduate School of Information Science, Nagoya University, Japan), Kiyoshi Agusa (Graduate School of Information Science, Nagoya University, Japan) | 1110.4163 | cs.PL | 2011-10-20 |
| X10 时钟类型 | Francisco Martins (LaSIGE and University of Lisbon, Portugal), Vasco T. Vasconcelos (LaSIGE and University of Lisbon, Portugal), Tiago Cogumbreiro (LaSIGE and University of Lisbon, Portugal) | 1110.4165 | cs.PL | 2011-10-20 |
| 对称封装多方法 | David Lievens and Bill Harrison | 1110.3470 | cs.PL | 2011-10-18 |
| OCamlJIT 2.0 - 更快的Objective Caml | Benedikt Meurer | 1011.1783 | cs.PL | 2011-09-28 |
| 在GCC中实现基于Continuation的语言 | Shinji Kono and Kento Yogi | 1109.4048 | cs.PL | 2011-09-20 |
| 嵌套细化动态语言 | Ravi Chugh and Patrick M. Rondon and Ranjit Jhala | 1103.5055 | cs.PL | 2011-09-16 |
| 基于变量依赖的分层静态分析 | David Monniaux (VERIMAG - IMAG), Julien Le Guen (VERIMAG - IMAG, ST Microelectronics) | 1109.2405 | cs.PL | 2011-09-13 |
| 基于属性文法的非确定性函数式语言向Java的翻译 | Masanobu Umeda, Ryoto Naruse, Hiroaki Sone, Keiichi Katamine | 1109.0638 | cs.PL | 2011-09-06 |