Complementary Programming Environment

补充编程环境

• 批准号: 60420035
• 负责人: ITO Takayasu
• 金额: $ 25.02万
• 依托单位: Tohoku University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (A)
• 财政年份: 1985
• 资助国家: 日本
• 起止时间: 1985 至 1988
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-60420035/
• 关键词: complementarity; complementary programming; specification; program; proof; constructive logic; semantically-based programming; parallelism; verification; improvement; parallel process; 並列Lisp; 次世代コンピュータ; 高品質ソフトウェア; 並列LISP言語; 並列マシン; 共有メモリ型

Complementary programming is a new programming concept to develop highquality software for the next generation computer systems. Complementary programming is a semantically-based programming for reliable programming based on complementarity among programs, complementarity between programs and specifications, and complementarity among specifications. This concept of complementary programming was first published in "A Step Towards Complementary Programming, by T. Ito, New Generation Computing, vol.3 (1985)" in a full deatil. This research has been the first attempt and step to realize the long-term goal of complementary programming. Since we believe that "parallelism" is the most important concept of the next generation computer systems, we have studied on the following topics 1) clarification of semantically-based programming 2) program verification, synthesis and improvement based on complementarity between specification and program 3) interactive proof and inference system and constructive logic 4) synthesis and verivication of parallel processes and constructive logic to discuss recovery from deadlick and starvation 5) design and implementation of Parallel Lisp as a kernel of the next generation computer systems

互补编程是一种新的编程概念，旨在为下一代计算机系统开发高质量软件。互补编程是一种基于语义的编程，基于程序之间的互补性、程序与规范之间的互补性以及规范之间的互补性进行可靠编程。互补编程的概念首次详细发表在“A Step Towards Complementary Planning, by T. Ito, New Generation Computing, vol.3 (1985)”中。本研究是实现互补编程长期目标的首次尝试和迈出的一步。由于我们相信“并行性”是下一代计算机系统最重要的概念，因此我们研究了以下主题1）基于语义的编程的澄清2）基于规范和程序之间互补性的程序验证、综合和改进3 ) 交互式证明和推理系统以及构造性逻辑 4) 并行过程和构造性逻辑的综合和验证，以讨论从死锁和饥饿中恢复 5) 作为下一代内核的 Parallel Lisp 的设计和实现一代计算机系统

项目成果

菱田修,伊藤貴康: ソフトウェア科学会大会論文集. 5. 325-328 (1988)

Osamu Hishida，Takayasu Ito：软件科学学会会议记录 5. 325-328 (1988)。

Takayasu Ito: Proc. Conf. Information Sciences and Systems. (1988)

伊藤隆康：Proc。

伊藤貴康・松山隆司: 電子情報通信学会誌. 70. 508-516 (1987)

Takayasu Ito 和 Takashi Matsuyama：《电子、信息和通信工程师学会杂志》70. 508-516 (1987)。

伊藤貴康,松山隆司: 電子情報通信学会誌. 70-3. (1987)

Takayasu Ito，Takashi Matsuyama：《电子、信息和通信工程师学会杂志》70-3。

伊藤貴康,松山隆司,山崎憲一: 情報処理学会記号処理研究会資料. 37-1.

Takayasu Ito、Takashi Matsuyama、Kenichi Yamazaki：日本信息处理学会符号处理研究组材料 37-1。