Object-Based Concurrent Programming: A Workshop Proposal Submitted to the NSF to be held Sept 25-26, 1988 in San Diego, California

基于对象的并发编程：向 NSF 提交的研讨会提案将于 1988 年 9 月 25 日至 26 日在加利福尼亚州圣地亚哥举行

• 批准号: 8814055
• 负责人: Gul Agha
• 金额: $ 0.63万
• 依托单位: Yale University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1988
• 资助国家: 美国
• 起止时间: 1988-07-01 至 1989-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8814055&HistoricalAwards=false
• 关键词: Object; Based; Concurrent; Programming; Workshop

The problem of designing systems for concurrent programming is an important area of research in computer science. In sequential computers, software engineering considerations, such as the need for abstraction and program modularity, have led to a recent increase in the popularity of object-based programming. Because parallelism is a natural consequence of distributed objects, the development of systems for concurrent object-based programming (OBCP) is likely to prove fruitful in providing good software support for a new generation of concurrent computers. Research in OBCP has progressed in different areas of computer science rather independently. A number of new programming languages, systems, architectures and applications have been developed in the last few years. Two foundational models of concurrency, namely the actor model and Flat Guarded Horn Clauses, can be used to provide a hardware platform for object-based concurrent programming. A number of on-going projects are developing object-based systems to support concurrent applications in areas such as distributed database, distributed simulation, and office information systems. Finally, work on topics such s transactions, type theory, computational reflection and program transformation has important ramifications for OBCP. The workshop will provide the first opportunity to assess the state of the art in research and development of OBCP. It will also permit an exchange of ideas on the development of common goals and the integration of the area as a unified field of research. Finally, the publication of papers presented at the workshop will make the work easily available to researchers.

为并发编程设计系统的问题是一个 计算机科学的重要研究领域。 以顺序 计算机，软件工程的考虑，如需要 抽象和程序模块化，导致了最近的增长， 基于对象的编程的流行。 因为并行性是 分布式对象的自然结果，系统的开发 基于对象的并发编程（OBCP）可能会证明 在为新一代提供良好的软件支持方面卓有成效， 并行计算机 OBCP的研究已经在计算机科学的不同领域取得了进展 相当独立。 许多新的编程语言、系统、 在过去的几年里， 年 并发的两个基本模型，即参与者模型 和扁平保护喇叭条款，可用于提供硬件 基于对象的并发编程平台。 一些正在进行的 项目正在开发基于对象的系统，以支持并发 在分布式数据库、分布式 模拟和办公信息系统。 最后，在主题上工作 例如事务、类型理论、计算反射和编程 转化对OBCP有重要的影响。 讲习班将提供第一次机会， OBCP的研究和开发艺术。 它还将允许一个 就制定共同目标和 将该领域整合为一个统一的研究领域。 最后 发表在讲习班上提出的论文将使工作 很容易被研究人员发现。