Typechecking for PCN

这个奖项是为了支持博士后助理工作， 实验计算机科学 那个律师迈克尔·法根 将与罗伯特·卡特赖特博士一起研究 并行语言的编译器。 这项研究涉及使用类型信息来帮助 程序员并允许高效编译。 原始 研究是用函数顺序语言完成的。 的 建议的研究将是将这些结果扩展到必要的 并行编程语言 特别是，该方案 组成符号（PCN）语言将被用作测试平台， 博士后助理的想法迁移软打字从 从顺序功能域到并行功能域。

This award is to support a postdoctoral associate to work in experimental computer science. The associate, Michael Fagen, will work with Dr. Robert Cartwright on problems involving compilers for parallel languages. The research involves using type information to aid the programmer and to allow efficient compilation. The original research was done with functional sequential languages. The proposed research will be to extend these results to imperative parallel programming languages. In particular, the Program Composition Notation (PCN) language will be used as a testbed for the postdoctoral associate's ideas of migrating soft typing from the sequential functional domain to the parallel domain.