| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 10个编程语言在10个不同标准下的比较研究 -- 一份Team 7 COMP6411-S10学期报告 | Sleiman Rabah, Jiang Li, Mingzhi Liu and Yuanwei Lai | 1009.0305 | cs.PL | 2010-09-03 |
| 优化HAL中约束处理规则的编译 | Christian Holzbaur, Maria Garcia de la Banda, Peter J. Stuckey, Gregory J. Duck | cs/0408025 | cs.PL | 2010-09-03 |
| 检查HAL程序的模式 | Maria Garcia de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen | cs/0409038 | cs.PL | 2010-09-03 |
| Java、Scala、C++、Haskell、VB .NET、AspectJ、Perl、Ruby、PHP 和 Scheme 编程语言的优缺点比较研究 - 11 组 COMP6411-S10 学期报告 | Venkatreddy Dwarampudi, Shahbaz Singh Dhillon, Jivitesh Shah, Nikhil Joseph Sebastian, Nitin Kanigicharla | 1008.3431 | cs.PL | 2010-08-23 |
| 比较编程语言Java、PHP、C++、Perl、Haskell、AspectJ、Ruby、COBOL、Bash脚本和Scheme修订版1.0的选定标准——团队CPLgroup COMP6411-S10学期报告。 | Sultan S. Al-Qahtani, Pawel Pietrzynski, Luis F. Guzman, Rafik Arif, Adrien Tevoedjre | 1008.3434 | cs.PL | 2010-08-23 |
| 10个编程语言在10个不同准则下的比较研究-团队10的COMP6411-S10学期报告 | Rana Naim, Mohammad Fahim Nizam, Sheetal Hanamasagar, Jalal Noureddine, Marinela Miladinova | 1008.3561 | cs.PL | 2010-08-23 |
| 用方程计算 | Chris Preston | 1008.1131 | cs.PL | 2010-08-09 |
| 优化页面选择指令的启发式算法 | Qing'an Li, Yanxiang He, Yong Chen, Wei Wu, Wenwen Xu | 1008.0909 | cs.PL | 2010-08-06 |
| 编程语言的比较研究；课程讲义 | Joey Paquet and Serguei A. Mokhov | 1007.2123 | cs.PL | 2010-08-05 |
| “《跨语言和同步计算模型报告》导论”。 | Alexander Victor Berka | 1005.4798 | cs.PL | 2010-07-30 |
| 捕捉Ouroboros：关于调试非无地面答案集程序 | Johannes Oetsch, J"org P"uhrer, and Hans Tompits | 1007.4986 | cs.PL | 2010-07-29 |
| 高阶程序的下推控制流分析 | Christopher Earl, Matthew Might, David Van Horn | 1007.4268 | cs.PL | 2010-07-27 |
| Java字节码的非空注释推断器 | Laurent Hubert (INRIA - IRISA) | 1007.3183 | cs.PL | 2010-07-26 |
| 交换评估：一种适用于按需答案的内存可扩展解决方案 | Pablo Chico de Guzman, Manuel Carro and David S. Warren | 1007.3961 | cs.PL | 2010-07-23 |
| 处理静态字段的可靠性：问题、语义和分析 | Laurent Hubert (INRIA - IRISA), David Pichardie (INRIA - IRISA) | 1007.3249 | cs.PL | 2010-07-21 |
| 使用通用内涵编程系统（GIPSY）评估高阶内涵逻辑（HOIL）表达式。 | Serguei A. Mokhov and Joey Paquet | 0906.3911 | cs.PL | 2010-07-09 |
| 赋予收藏品群体行为的能力 | Adrian Kuhn, David Erni, Marcus Denker | 1007.0159 | cs.PL | 2010-07-02 |
| 约束处理规则的并发目标执行 | Edmund S. L. Lam and Martin Sulzmann | 1006.3039 | cs.PL | 2010-06-22 |
| 寻找C++程序的动态切片的方法 | Santosh Kumar Pani and Priya Arundhati | 1006.2816 | cs.PL | 2010-06-15 |
| 跨语言与同步计算模型 | Alexander Victor Berka | 1005.5183 | cs.PL | 2010-05-31 |
| 分子程序伪代码表示在分子电子学中的应用 | Manas Ranjan Pradhan and E.G. Rajan | 1005.4022 | cs.PL | 2010-05-24 |
| 因果性与来源语义 | James Cheney | 1004.3241 | cs.PL | 2010-04-20 |
| 实施多周期关键系统：从设计到代码生成 | Julien Forget (1) and Fr''ed''eric Boniol (1) and David Lesens (2) and Claire Pagetti (1) ((1) ONERA, Toulouse, France and (2) EADS Astrium Space Transportation, Les Mureaux, France) | 1003.2871 | cs.PL | 2010-04-01 |
| 多时钟解释的Synoptic，一种嵌入式飞行软件领域特定建模语言 | L. Besnard, T. Gautier, J. Ouy, J.-P. Talpin, J.-P. Bodeveix, A. Cortier, M. Pantel, M. Strecker, G. Garcia, A. Rugina, J. Buisson, F. Dagnat | 1003.0554 | cs.PL | 2010-03-26 |
| C对象系统：将C用作高级面向对象语言 | Laurent Deniau | 1003.2547 | cs.PL | 2010-03-15 |