A Laboratory for Programming Languages and Software Systems

该奖项为十个研究项目提供基础设施支持，主要研究领域是并行和分布式处理，以及编程语言。其他重要的研究领域是容错编程、分子遗传学的算法和软件、科学可视化的图形用户界面以及面向对象和演绎数据库系统。在并行和分布式处理一般领域的具体研究项目包括：1。开发工具来帮助设计和开发并行和分布式系统的算法，重点是为相对幼稚的用户提供高级工具，2。2 .促进在共享内存多处理器上高效执行的编程计算的语言机制和实现技术的研究。3 .将使用共享变量编写的并发程序编译成在多台计算机或具有非统一内存访问时间的多处理器上执行的程序的技术的发展。4 .研究可配置的操作系统内核（称为x-kernel），其中通信协议定义了基本构建块；开发了评估并行异步算法性能的分析方法，并将这些方法应用于分析在各种多处理器架构上运行的特定并行算法。对程序设计语言的研究包括：1。开发了Icon编程语言，这是一种具有处理非数值数据功能的高级语言；逻辑程序设计语言有效编译技术的发展。该研究将获得的设备包括Hypercube升级、共享内存多处理器、高端图形工作站和光盘。

This award provides infrastructure support for ten research projects, with the primary research areas being parallel and distributed processing, and programming languages. Other significant research areas are fault-tolerant programming, algorithms and software for molecular genetics, graphical user interfaces for scientific visualization, and object-oriented and deductive database systems. Specific research projects in the general area of parallel and distributed processing include: 1. development of tools to aid in designing and developing algorithms for parallel and distributed systems, with emphasis on high- level tools for relatively naive users, 2. research on language mechanisms and implementation techniques to facilitate programming computations that execute efficiently on shared-memory multiprocessors, 3. development of techniques for compiling concurrent programs written using shared variables into programs that execute on multicomputers or on multiprocessors with non-uniform memory access time, 4. research on a configurable operating system kernel, called the x-kernel, in which communication protocols define the fundamental building block, and 5. development of analytic methods for evaluating performance of parallel asynchronous algorithms and applying the methods to the analysis of particular parallel algorithms running on various multiprocessor architectures. The research on programming languages includes: 1. development of the Icon programming language, a high-level language with facilities for processing nonnumeric data, and 2. development of effective compilation techniques for logic programming languages. Equipment to be obtained for the research includes a Hypercube upgrade, a shared memory multiprocessor, high-end graphic workstations, and optical disks.