| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 浮点程序鲁棒性分析的非局部方法 | Ivan Gazeau (LIX, INRIA Saclay - Ile de France), Dale Miller (LIX, INRIA Saclay - Ile de France), Catuscia Palamidessi (LIX, INRIA Saclay - Ile de France) | 1202.0693 | cs.PL | 2012-07-10 |
| 高阶程序的内省下推分析 | Christopher Earl, Ilya Sergey, Matthew Might, David Van Horn | 1207.1813 | cs.PL | 2012-07-10 |
| dup -- Haskell中的显式去共享 | Joachim Breitner | 1207.2017 | cs.PL | 2012-07-10 |
| 抽象解释的简洁表示 | Julien Henry (VERIMAG - IMAG), David Monniaux (VERIMAG - IMAG), Matthieu Moy (VERIMAG - IMAG) | 1206.4234 | cs.PL | 2012-06-20 |
| 使用LISA编译器生成器实现领域特定语言EasyTime | Iztok Fister Jr, Marjan Mernik, Iztok Fister, Dejan Hrnv{c}iv{c} | 1206.2542 | cs.PL | 2012-06-13 |
| 使用LISA编译器生成器实现EasyTime的形式语义 | Iztok Fister Jr., Marjan Mernik, Iztok Fister, Dejan Hrnv{c}iv{c} | 1206.1969 | cs.PL | 2012-06-12 |
| 行为类型与演员系统 | Silvia Crafa | 1206.1687 | cs.PL | 2012-06-11 |
| 实现统一嵌套循环中的全并行性的时间和代码大小优化 | Yaroub Elloumi, Mohamed Akil and Mohamed Hedi Bedoui | 1205.4672 | cs.PL | 2012-05-22 |
| 发现矩阵编码的算法 | M.H. van Emden | 1203.2296 | cs.PL | 2012-05-09 |
| 面向基于规则的约束推理的通用追踪方法 | Armando Gonc{c}alves Da Silva Junior (CIn), Pierre Deransart (INRIA Rocquencourt), Luis-Carlos Menezes (CIn), Marcos-Aur''elio Almeida Da Silva (LPMC), Jacques Robin (TRT) | 1204.5280 | cs.PL | 2012-04-25 |
| 数值不变量通过凸松弛和最大策略迭代 | Thomas Martin Gawlitza and Helmut Seidl | 1204.1147 | cs.PL | 2012-04-06 |
| 我的编程语言 - MyProLang：一种基于模板驱动的自动自然编程语言 | Youssef Bassil, Aziz Barbar | 1204.0221 | cs.PL | 2012-04-03 |
| 上下文导向编程：自主系统的编程范式 | Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella | 1105.0069 | cs.PL | 2012-04-02 |
| 程序结构 | Alex Shkotin | 0907.5290 | cs.PL | 2012-03-23 |
| 延展报告：隐式演算 | Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi | 1203.4499 | cs.PL | 2012-03-21 |
| Mercury 程序的基于区域的内存管理 | Quan Phan, Gerda Janssens and Zoltan Somogyi | 1203.1392 | cs.PL | 2012-03-08 |
| 手动和快速的C代码优化 | Mohammed Fadle Abdulla | 1203.0681 | cs.PL | 2012-03-06 |
| 一个基于模型的解析器生成器：从抽象语法树到抽象语法图 | Luis Quesada, Fernando Berzal, Juan-Carlos Cubero | 1202.6593 | cs.PL | 2012-03-01 |
| 限界控制操作的正常形式双模拟 | Dariusz Biernacki, Serguei Lenglet | 1202.5959 | cs.PL | 2012-02-29 |
| 模型变换语义下的寄存器分配 | Yin Wang, R. Kent Dybvig | 1202.5539 | cs.PL | 2012-02-27 |
| 命令式语言中的Lambda提升和CPS转换 | Gabriel Kerneis (PPS), Juliusz Chroboczek (PPS) | 1202.3247 | cs.PL | 2012-02-16 |
| 参数化组合数据类型 | Patrick Bahr (Department of Computer Science, University of Copenhagen), Tom Hvitved (Department of Computer Science, University of Copenhagen) | 1202.2917 | cs.PL | 2012-02-15 |
| 遍历法则的研究 | Mauro Jaskelioff (Centro Internacional Franco Argentino de Ciencias de la Informaci''on y de Sistemas/Universidad Nacional de Rosario, Rosario, Argentina), Ondrej Rypacek (King's College, London, UK) | 1202.2919 | cs.PL | 2012-02-15 |
| 数据类型通用编程方法的正式比较 | Jos''e Pedro Magalh~aes, Andres L"oh | 1202.2920 | cs.PL | 2012-02-15 |
| 单子计算的评估策略 | Tomas Petricek (University of Cambridge) | 1202.2921 | cs.PL | 2012-02-15 |