| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| π演算中的封装与动态模块化 | Daniel Hirschkoff (LIP), Aur''elien Pardon (LIP), Tom Hirschowitz (LAMA), Samuel Hym (LIFL), Damien Pous (INRIA Rh^one-Alpes / LIG Laboratoire d'Informatique de Grenoble) | 0906.5446 | cs.PL | 2009-09-04 |
| 懒惰混合模块与规范化效应 | Keiko Nakata | 0908.3650 | cs.PL | 2009-08-26 |
| 超级面向对象编程 | Raju Renjit. G | cs/0504008 | cs.PL | 2009-08-25 |
| 将LINQ、状态图模板和包扩展整合到Java中 | Raju Renjit. G | cs/0504025 | cs.PL | 2009-08-25 |
| 按照您的要求，论文标题的中文翻译是："惰性求值的小步与大步语义"。 | Keiko Nakata and Masahito Hasegawa | 0907.4640 | cs.PL | 2009-07-28 |
| 随着时间的流逝：约束处理规则——1998年至2007年CHR研究综述 | Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck | 0906.4474 | cs.PL | 2009-06-25 |
| 并行组件的类型系统 | Francisco Heron de Carvalho-Junior, Rafael Dueire Lins | 0905.3432 | cs.PL | 2009-05-22 |
| REC语言在IBM1130模拟器上运行，EL语言REC在IBM 1130模拟器上是活跃的。 | Ignacio Vega-Paez, Jose Angel Ortega, Georgina G. Pulido | 0905.0737 | cs.PL | 2009-05-07 |
| 关系、约束与抽象：在安全行业中运用逻辑编程工具 | Andy King | 0903.2353 | cs.PL | 2009-03-16 |
| 优化离线部分求值中的大小变化分析 | Michael Leuschel and Salvador Tamarit and German Vidal | 0903.2202 | cs.PL | 2009-03-13 |
| 非确定性函数的轻量级语义组合 | Francisco Javier Lopez-Fraguas and Juan Rodriguez-Hortala and Jaime Sanchez-Hernandez | 0903.2205 | cs.PL | 2009-03-13 |
| 基于继续调用表格执行的程序转换 | Pablo Chico de Guzman, Manuel Carro, Manuel V. Hermenegildo | 0901.3906 | cs.PL | 2009-01-27 |
| 二元约束逻辑程序的非终止准则 | Etienne Payet and Fred Mesnard | 0807.3451 | cs.PL | 2009-01-10 |
| 具有跳转-移位指令的程序代数 | J. A. Bergstra, C. A. Middelburg | 0712.1658 | cs.PL | 2008-11-11 |
| 在具有数组的程序中检测并行步骤 | R. Nuriyev | 0810.5575 | cs.PL | 2008-11-03 |
| C语言类别的指向分析的定义和实现 | Stefano Soffia | 0810.0753 | cs.PL | 2008-10-07 |
| 共归大步操作语义 | Xavier Leroy (INRIA Rocquencourt), Herv''e Grall (INRIA Rennes, LINA) | 0808.0586 | cs.PL | 2008-08-06 |
| CHR中的展开 | Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella | 0807.3979 | cs.PL | 2008-07-28 |
| 指令序列中的间接跳转 | J. A. Bergstra, C. A. Middelburg | 0711.0829 | cs.PL | 2008-04-08 |
| 使用分子动力学编程解释器 | J. A. Bergstra, C. A. Middelburg | 0801.2226 | cs.PL | 2008-04-08 |
| 可读程序的迷你索引 | Donald E. Knuth | cs/9401102 | cs.PL | 2008-02-03 |
| 基于目标元模型的DSL开发。使用AST转换自动化文本DSL框架中的语义分析。 | Andrey Breslav | 0801.1219 | cs.PL | 2008-01-09 |
| 基于概念的编程方法 | Alexandr Savinov | 0801.0133 | cs.PL | 2008-01-03 |
| 编程语言中的概念及其在建模对象和引用方面的使用 | Alexandr Savinov | 0801.0135 | cs.PL | 2008-01-03 |
| 通过概念间接对象表示和访问 | Alexandr Savinov | 0801.0136 | cs.PL | 2008-01-03 |