| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| Prolog的表示共享 | Phuong-Lan Nguyen and Bart Demoen | 1106.1311 | cs.PL | 2011-07-01 |
| 利用软件架构来引导和验证SCC应用程序的开发 | Damien Cassou (INRIA Bordeaux - Sud-Ouest, LaBRI), Charles Consel (INRIA Bordeaux - Sud-Ouest, ENSEIRB), Emilie Balland (INRIA Bordeaux - Sud-Ouest), Julia Lawall (DIKU) | 1106.4200 | cs.PL | 2011-06-22 |
| 代码重复实现条件消除 | Joachim Breitner | 1106.3478 | cs.PL | 2011-06-20 |
| 并发高阶程序的静态分析的抽象解释家族 | Matthew Might and David Van Horn | 1103.5167 | cs.PL | 2011-06-15 |
| 类型化Scheme的设计与实现：从脚本到程序 | Sam Tobin-Hochstadt and Matthias Felleisen | 1106.2575 | cs.PL | 2011-06-15 |
| 可扩展语言中的可扩展模式匹配 | Sam Tobin-Hochstadt | 1106.2578 | cs.PL | 2011-06-15 |
| 位复制 - 极致计算简洁性 | Oleg Mazonka | 0907.2173 | cs.PL | 2011-06-07 |
| 选择性记忆化 | Umut A. Acar and Guy E. Blelloch and Robert Harper | 1106.0447 | cs.PL | 2011-06-03 |
| 自适应计算的一致语义 | Umut A. Acar and Matthias Blume and Jacob Donham | 1106.0478 | cs.PL | 2011-06-03 |
| RDF虚拟机 | Marko A. Rodriguez | 0802.3492 | cs.PL | 2011-05-26 |
| 扩展安道尔模型的设计与实施 | Ricardo Lopes, V''itor Santos Costa and Fernando Silva | 1101.6029 | cs.PL | 2011-05-23 |
| Prolog编码指南 | Michael A. Covington (Institute for Artificial Intelligence, The University of Georgia, Athens, Georgia, U.S.A.), Roberto Bagnara (Department of Mathematics, University of Parma, and BUGSENG srl, Italy), Richard A. O'Keefe (Department of Computer Science, University of Otago, Dunedin, New Zealand), Jan Wielemaker (Department of Computer Science, VU University Amsterdam, The Netherlands), Simon Price (Intelligent Systems Laboratory, University of Bristol, United Kingdom) | 0911.2899 | cs.PL | 2011-05-18 |
| 按要求直接给您翻译的标题：一种逐步索引的类型语义模型，用于按名调用的λ演算。 | Benedikt Meurer | 1105.1985 | cs.PL | 2011-05-17 |
| 多核 NUMA 机器的垃圾回收 | Sven Auhagen, Lars Bergstrom, Matthew Fluet, John Reppy | 1105.2554 | cs.PL | 2011-05-13 |
| 抽象化抽象机器：高阶程序分析的系统方法 | David Van Horn and Matthew Might | 1105.1743 | cs.PL | 2011-05-10 |
| 程序分析问题的语义解决方案 | Sam Tobin-Hochstadt and David Van Horn | 1105.0106 | cs.PL | 2011-05-03 |
| 使用数据流约束的响应式命令式编程 | Camil Demetrescu, Irene Finocchi, Andrea Ribichini | 1104.2293 | cs.PL | 2011-04-13 |
| JavaCtx：无缝集成工具链的上下文导向编程 | Guido Salvaneschi, Carlo Ghezzi and Matteo Pradella | 1104.1351 | cs.PL | 2011-04-08 |
| 单通列表处理程序的算法验证 | Rajeev Alur and Pavol Cerny | 1007.4958 | cs.PL | 2011-02-15 |
| 纯函数式结构化编程 | Steven Obua | 1007.3023 | cs.PL | 2011-02-11 |
| BinProlog经验：延续传递Prolog和一流逻辑引擎的架构和实现选择 | Paul Tarau | 1102.1178 | cs.PL | 2011-02-08 |
| CPC：使用大量轻量级线程进行编程 | Gabriel Kerneis (PPS), Juliusz Chroboczek (PPS) | 1102.0951 | cs.PL | 2011-02-07 |
| 服务组合中的抽象过程合同 | Maria Grazia Buscemi, Hern''an Melgratti | 1101.4732 | cs.PL | 2011-01-26 |
| 平等、准隐式乘积和大规模消除 | Vilhelm Sj"oberg (University of Pennsylvania), Aaron Stump (The University of Iowa) | 1101.4430 | cs.PL | 2011-01-25 |
| 图重写系统上的战略规划 | Maribel Fern''andez (King's College London), Olivier Namet (King's College London) | 1012.5560 | cs.PL | 2010-12-30 |