缺少摘要。
- 工程数学：奇阶定理的证明乔治·戈蒂尔.1-2 [美国国防部]
- 标称Scott域的完全抽象斯特芬·洛施,安德鲁·皮特斯.3-14 [美国国防部]
- 生产者效应系统的序列语义罗斯·泰特.15-26 [美国国防部]
- 共同模式：通过观测对无限结构进行编程安德烈亚斯·阿贝尔,布里吉特·皮恩特卡,大卫·西博多,安东·塞泽尔.27-38 [美国国防部]
- 缓存和I/O效率函数算法盖伊·布莱洛赫,罗伯·哈波.39-50 [美国国防部]
- 整数线性约束环的线性排序问题阿米尔·本·阿姆拉姆,萨米尔·吉纳伊姆.51-62 [美国国防部]
- 高级自动机最小化理查·马,洛伦佐·克莱门特.第63页至第74页 [美国国防部]
- 自动化相对完整的高阶功能程序验证Hiroshi Unno先生,塔奇·特劳奇,Naoki Kobayashi 0001号.75-86 [美国国防部]
- 代数索引类型的抽象和不变性罗伯特·艾奇,帕特里夏·约翰,安德鲁·肯尼迪.87-100 [美国国防部]
- NoSQL语言的静态和动态语义维罗尼克·本扎肯,朱塞佩·卡斯塔尼亚,金阮0001,杰罗姆·西蒙.101-114 [美国国防部]
- 定量抽象细化帕沃尔·塞恩,托马斯·汉津格,阿琼·拉德哈克里什纳.115-128 [美国国防部]
- 归纳数据流图阿扎德·法尔赞,扎卡里·金凯德,安德烈亚斯·波德尔斯基.129-142 [美国国防部]
- 抽象冲突驱动学习维杰·德席尔瓦,利奥波德·哈勒,丹尼尔·克罗宁.143-154 [美国国防部]
- Lambda Lambda-Bar演算：无约束策略的对偶演算亚历克西斯·戈耶特.155-166 [美国国防部]
- 类型的几何结构乌戈·达尔·拉戈,芭芭拉·佩蒂特.167-178 [美国国防部]
- 非纯编程语言的通用性质萨姆·斯塔顿,保罗·布莱恩·利维.179-192年 [美国国防部]
- 共导证明中参数化的威力中基尔湖,乔治·奈斯,德里克·德雷尔,维克托·瓦菲亚迪斯.193-206 [美国国防部]
- 点菜元理论本杰明·特拉华,布鲁诺·C·D·S·奥利维拉,汤姆·施里杰弗斯.207-218 [美国国防部]
- 布尔BI的定理证明器琼云公园,Jeongbong Seo公司,Sungwoo公园.219-232 [美国国防部]
- 从原理到编程语言（以及反过来）克里希纳穆西神社.233-234 [美国国防部]
- C/C++并发的库抽象马克·巴蒂,迈克·多兹,亚历克谢·戈茨曼.235-248 [美国国防部]
- 基于幂等性的容错加内桑·拉马林根,卡皮尔·瓦斯瓦尼.249-262 [美国国防部]
- 通过设计实现死锁自由：多方异步全局编程马克·卡博尼,法布里奇奥·蒙泰西.263-274 [美国国防部]
- 行为分离的类型规律路易斯·凯雷斯,乔·科斯塔·塞科.275-286 [美国国防部]
- 视图：并发程序的组合推理托马斯·丁斯代尔-杨,拉尔斯·比克达尔,菲利普·加德纳,Matthew J.帕金森,杨洪石.287-300个 [美国国防部]
- 低级代码的高级分离逻辑乔纳斯·布拉班德·詹森,尼克·本顿,安德鲁·肯尼迪.301-314 [美国国防部]
- 语言如何拯救分布式计算安德鲁·迈尔斯.315-316 [美国国防部]
- 并发数据结构的定量松弛托马斯·汉津格,克里斯托夫·基尔希,汉内斯·佩耶,阿里·塞兹金,安娜·索科洛娃.317-328 [美国国防部]
- 方案B：Java的缓冲内存模型Delphine Demange公司,文森特·拉波特,雷昭（Lei Zhao）,苏雷什·贾甘纳森,大卫·皮哈迪,扬·维泰克.329-342 [美国国防部]
- 细粒度并发的逻辑关系亚伦·约瑟夫·图伦,雅各布·塔姆斯堡,阿迈勒,拉尔斯·比克达尔,德里克·德雷尔.343-356 [美国国防部]
- 线性相关类型用于差异隐私马可·加博阿迪,安德烈亚斯·海伯伦,徐宇春（Justin Hsu）,阿琼·纳拉扬,本杰明·皮尔斯.357-370 [美国国防部]
- 完全抽象编译为JavaScriptCédric Fornet公司,尼基尔·斯瓦米,胡安·陈,皮埃尔·埃瓦里斯特·达根,皮埃尔·伊夫·斯特鲁布,本杰明·利夫希茨.371-384 [美国国防部]
- 实现安全消毒剂和脱分类器的全自动放置本杰明·利夫希茨,斯蒂芬·庄（Stephen Chong）.385-398 [美国国防部]
- 概率规划的原理与实践诺亚·D·古德曼.399-402 [美国国防部]
- 贝叶斯推理的模型学习模式安德鲁·戈登,米哈伊尔·艾扎图林,约翰内斯·博格斯特罗姆,纪尧姆干红葡萄酒,格雷佩尔,阿迪蒂亚·诺里,斯里拉姆·拉贾马尼,克劳迪奥·拉索.403-416 [美国国防部]
- 超流处理系统：连续时间信号的非标准建模Kohei Suenaga公司,Hiroyoshi Sekine先生,哈朔一郎.417-430 [美国国防部]
- HALO:haskell通过指称语义实现逻辑迪米特里厄斯病毒性肠炎,西蒙·佩顿·琼斯,科恩·克莱森,丹·罗森.431-442 [美国国防部]
- Sigma*：输入输出规范的符号学习马特科·博廷坎,Domagoj Babic公司.443-456 [美国国防部]
- 用互模拟检查NFA等价性直至一致菲利波·邦奇,达米安·普斯.457-468 [美国国防部]
- 由突变实验合成生物模型阿里·西南·科萨尔,叶文璞,索拉巴·斯利瓦斯塔瓦,拉斯蒂斯拉夫·博迪克,贾斯敏·费舍尔,尼尔·皮特曼.469-482 [美国国防部]
- 基于（单位）二元不等式多面体的次多面体调度罗摩克里希纳-阿帕德斯塔（Ramakrishna Upadrasta）,阿尔伯特·柯恩.483-496 [美国国防部]
- 优化高级程序中的数据结构：基于分段的可扩展编译器的新方向蒂亚克·隆普夫,阿文德·苏吉思,纳达·阿明,凯文·布朗,沃金·约万诺维奇,HyoukJoong Lee（李孝忠）,马诺哈尔·琼纳拉赫达,昆勒·奥卢科顿,马丁·奥德斯基.497-510 [美国国防部]
- 缩进敏感语言的原则解析：重温Landin的越位规则迈克尔·亚当斯.511-522 [美国国防部]
- 数据结构中共享的影响阿奎那·霍伯,朱尔斯·维拉德.523-536 [美国国防部]
- 基于完整实例化的插值Nishant Totla公司,托马斯·维斯.537-548 [美国国防部]
- 浮点异常的自动检测伯爵·T·巴尔,Thanh Vo公司,武乐,苏振东.549-560 [美国国防部]
- 粗粒度并发的主观辅助状态Ruy Ley-Wild公司,阿列克桑达尔·纳内夫斯基.561-574 [美国国防部]