Complementary Programming Environment

互补编程是为下一代计算机系统开发高质量软件的一种新的编程理念。互补编程是一种基于语义的可靠编程，它基于程序之间的互补性、程序与规范之间的互补性、规范之间的互补性。互补编程的这一概念最早发表在T.Ito著的《A Step to Componative Programming》中，新一代计算，第3卷(1985)。这项研究是实现补充规划长期目标的第一次尝试和步骤。鉴于并行性是下一代计算机系统最重要的概念，我们在以下方面进行了研究：1)基于语义的程序设计的澄清；2)基于规格说明和程序的互补性的程序验证、综合和改进；3)交互式证明与推理系统和构造性逻辑；4)并行进程和构造性逻辑的综合与验证；5)作为下一代计算机系统核心的并行LIP语言的设计与实现

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