| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| JavaScript中的语义和安全问题 | St''ephane Ducasse (INRIA Lille - Nord Europe), Nicolas Petton (INRIA Lille - Nord Europe), Guillermo Polito (INRIA Lille - Nord Europe), Damien Cassou (INRIA Lille - Nord Europe) | 1212.2341 | cs.PL | 2012-12-12 |
| 异构CUDA-C的形式语义：具有应用的模块化方法 | Chris Hathhorn (University of Missouri), Michela Becchi (University of Missouri), William L. Harrison (University of Missouri), Adam Procter (University of Missouri) | 1211.6193 | cs.PL | 2012-11-28 |
| 运用领域特定语言EasyTime测量体育比赛中的时间 | Iztok Fister Jr., Iztok Fister | 1211.6418 | cs.PL | 2012-11-28 |
| 多元指令序列的线程提取 | J. A. Bergstra, C. A. Middelburg | 0802.1578 | cs.PL | 2012-11-20 |
| 间接跳转提高指令序列性能 | J. A. Bergstra, C. A. Middelburg | 0909.2089 | cs.PL | 2012-11-20 |
| 通过延续将线程编译为事件的继续传递C | Gabriel Kerneis (PPS), Juliusz Chroboczek (PPS) | 1011.4558 | cs.PL | 2012-11-15 |
| 自动分发高阶同步数据流程序的类型系统 | Gwena"el Delaval (INRIA Grenoble Rh^one-Alpes / LIG Laboratoire d'Informatique de Grenoble), Alain Girault (INRIA Grenoble Rh^one-Alpes / LIG Laboratoire d'Informatique de Grenoble), Marc Pouzet (LRI) | 1211.2776 | cs.PL | 2012-11-13 |
| 扩展归纳定义 | Pierre-Evariste Dagand and Conor McBride | 1210.6390 | cs.PL | 2012-11-01 |
| 检验对抗TSO的鲁棒性。 | Ahmed Bouajjani, Egor Derevenetc, Roland Meyer | 1208.6152 | cs.PL | 2012-10-30 |
| 将"BPEL中添加会话"翻译成中文。 | Jonathan Michaux (T''el''ecom ParisTech), Elie Najm (T''el''ecom ParisTech), Alessandro Fantechi (Universit`a degli Studi di Firenze) | 1210.6114 | cs.PL | 2012-10-24 |
| GADT遇见子类型化 | Gabriel Scherer (INRIA Rocquencourt), Didier R''emy (INRIA Rocquencourt) | 1210.5935 | cs.PL | 2012-10-23 |
| SMCHR：满足性模块化约束处理规则 | Gregory J. Duck | 1210.5307 | cs.PL | 2012-10-22 |
| 以风格生成事件 | Matthieu Boutier (PPS), Gabriel Kerneis (PPS) | 1210.4263 | cs.PL | 2012-10-18 |
| 构造系统中的重写和缩小带有调用时选择语义 | Francisco J. L''opez-Fraguas, Enrique Martin-Martin, Juan Rodr''iguez-Hortal''a, Jaime S''anchez-Hern''andez | 1209.2617 | cs.PL | 2012-10-11 |
| 朝向使用共享表空间的多线程本地表格化 | Miguel Areias and Ricardo Rocha | 1210.2282 | cs.PL | 2012-10-11 |
| 轻量级将（C）LP编译为JavaScript | Jose F. Morales, R''emy Haemmerl''e, Manuel Carro, and Manuel V. Hermenegildo | 1210.2864 | cs.PL | 2012-10-11 |
| 约束处理规则的图解融合 | R''emy Haemmerl''e | 1210.2297 | cs.PL | 2012-10-10 |
| 高效处理具有增强哈希共享的结构化数据表 | Neng-Fa Zhou and Christian Theil Have | 1210.1611 | cs.PL | 2012-10-08 |
| 一个多项式时间的具有多线程和副作用的λ-演算 | Antoine Madet (PPS) | 1209.5851 | cs.PL | 2012-09-27 |
| 分割过程的步骤及其在协调中的应用 | Sung-Shik T. Q. Jongmans, Dave Clarke, Jos''e Proenc{c}a | 1209.1422 | cs.PL | 2012-09-10 |
| 升级EasyTime：从文本语言到视觉语言 | Iztok Fister Jr., Tomav{z} Kosar, Marjan Mernik, Iztok Fister | 1208.4126 | cs.PL | 2012-08-22 |
| QIRAL：用于格点量子色动力学代码生成的高级语言 | Denis Barthou (LaBRI, INRIA Bordeaux - Sud-Ouest), Gilbert Grosdidier (LAL), Michael Kruse (LRI), Olivier P`ene (LPT), Claude Tadonki | 1208.4035 | cs.PL | 2012-08-21 |
| 具有负面和定量前提的概率转换系统规范中的树规则 | Matias David Lee (Famaf, UNC - Conicet), Daniel Gebler (VU University Amsterdam), Pedro R. D'Argenio (Famaf, UNC - Conicet) | 1208.2752 | cs.PL | 2012-08-15 |
| 使用依赖类型的模块化类型安全证明 | Christopher Schwaab and Jeremy G. Siek | 1208.0535 | cs.PL | 2012-08-03 |
| JavaScript的依赖类型 | Ravi Chugh and David Herman and Ranjit Jhala | 1112.4106 | cs.PL | 2012-08-02 |