1988 Fiscal Year Final Research Report Summary
Complementary Programming Environment
| Project/Area Number |
60420035
|
|---|
| Research Category |
Grant-in-Aid for General Scientific Research (A)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
計算機工学
|
|---|
| Research Institution | Tohoku University |
|---|
Principal Investigator |
ITO Takayasu Faculty of Engineering, Tohoku University, 工学部情報工学科, 教授 (80124551)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
MATSUYAMA Takashi Faculty of Engineering, Tohoku University, 工学部情報工学科, 助教授 (10109035)
|
|---|
| Project Period (FY) |
1985 – 1988
|
| Keywords | complementarity / complementary programming / specification / program / proof / constructive logic / semantically-based programming / parallelism / verification / improvement / parallel process / 並列Lisp |
|---|
| Research Abstract |
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
|
