Complementary Programming Environment

互补编程是为下一代计算机系统开发高质量软件的一种新的编程理念。互补编程是一种基于程序间互补性、程序与规范间互补性、规范间互补性的基于语义的可靠编程。互补编程的概念首次在“迈向互补编程的一步，由T. Ito，新一代计算，卷3（1985）”中详细发表。本研究是实现互补规划长期目标的第一次尝试和第一步。由于我们相信“并行”是下一代计算机系统中最重要的概念，我们研究了以下主题：1)基于语义的编程的澄清2)程序验证，基于规范和程序互补性的综合和改进3)交互式证明和推理系统和构造逻辑4)并行过程和构造逻辑的综合和验证，以讨论从死链和饥饿中恢复5)作为下一代计算机系统核心的并行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