WEKO3
アイテム
論理的な解析にもとづく関数型プログラミングの支援法
https://ipsj.ixsq.nii.ac.jp/records/22470
https://ipsj.ixsq.nii.ac.jp/records/22470c5111b45-d0d9-4c4f-902c-f9978a7c55c8
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE86052005.pdf (1.2 MB)
|
Copyright (c) 1987 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1987-02-13 | |||||||
| タイトル | ||||||||
| タイトル | 論理的な解析にもとづく関数型プログラミングの支援法 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | A SUPPORT METHOD FOR FUNCTIONAL PROGRAMMING BY LOGICAL ANALYSIS | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 慶応大学理工学部管理工学科 | ||||||||
| 著者所属 | ||||||||
| 慶応大学理工学部管理工学科 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Dept. of Administration Engineering, Faculty of Science and Technology, Keio University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Dept. of Administration Engineering, Faculty of Science and Technology, Keio University | ||||||||
| 著者名 |
鈴木, 賢三
× 鈴木, 賢三
|
|||||||
| 著者名(英) |
Kenzo, Suzuki
× Kenzo, Suzuki
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | プログラムの動的なテストは誤りの発見には有効だがプログラムの正しさを保証するものではなく、また実行可能なプログラムになっていない段階のものはテストできないので、段階的詳細化におけるプログラミングとテストの時間的なずれは解消できない。本報告ではプログラムの正しさを確かめることと並行して段階的にプログラムを詳細化する方法を提案し、この方法に沿ってプログラミングを支援するシステムの概要を述べる。本方法では、実現されていない部分を含んだプログラムと形式的仕様から派生する論理式の書き換えを繰返し、未実現の部分に関する条件を生成し、この条件をその後のプログラミングの指針とすることができる。対象は関数型の言語で、関数とデータ型を階層的に具体化する。この方法では、概要レベルの正しさを確かめてから詳細レベルのプログラミングへ進み、最終的に論理的な正しさが保証されたプログラムが得られる。また誤りが見つかってもその修正による他の部分への影響が少なく、信頼性の高いプログラミングが期待できる。 | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Program testing is useful for indicating errors in the program. However, it can not confirm the correctness of the program. Furthermore, we can test only executable programs. Thus testing is not usable for all steps of program developing in stepwise refinement. This paper proposes a method for verifying the correctness of programs during all steps of the program development in stepwise refinement. We show a programming support system based on this method. In our method, a programmer writes both an incompleted program and logical expressions specifying its function in every step of the development. The support system confirms the correctness of the program. Moreover, it generates some conditions to specify some incompleted parts of the program. The programmer repeates this process until the program is completed. In this study, we use a programming language in the functional style. We refine both functions and data during the steps of the program development. If a programmer uses our system and writes his/her program in accordance with our method, he/she can writes a completed program those correctness is verified. When the programmer detects an error, he/she can correct it without worrying about many parts of the program. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
情報処理学会研究報告ソフトウェア工学（SE） 巻 1987, 号 11(1986-SE-052), p. 33-40, 発行日 1987-02-13 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
