WEKO3
アイテム
プログラム生成におけるリスト処理を用いた入出力条件のチェック
https://doi.org/10.57375/00000823
https://doi.org/10.57375/0000082306b44ca0-62e5-4e78-b15e-21e74711a924
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00000201928.pdf (413.8 kB)
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2009-04-10 | |||||
| タイトル | ||||||
| タイトル | プログラム生成におけるリスト処理を用いた入出力条件のチェック | |||||
| タイトル | ||||||
| タイトル | Input and Output Conditions Check using List Processing in Program Generation | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | departmental bulletin paper | |||||
| ID登録 | ||||||
| ID登録 | 10.57375/00000823 | |||||
| ID登録タイプ | JaLC | |||||
| 著者 |
恐神, 正博
× 恐神, 正博× Osogami, Masahiro |
|||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | Since the 1980's, object oriented programming and structured programming have become hot topics for increasing software productivity. Usually, software has been handmade while other products are machine made. But demand for software has been increasing due to the influence of factory and office automation, so software crisis has begun. MAPP (Module Aided Programming system by Prolog) which we insist on, shows one way to increase software productivity. MAPP generates source code program from general specifications, which are written with natural language and which include function types and data types. During program generation, MAPP checks input and output conditions of linking modules using Prolog list processing, and also adds modules satisfy all the conditions needed to generate bug less program as MAPP can do, which we have reported in this paper. | |||||
| 書誌情報 |
福井工業大学研究紀要. 第一部 号 29, p. 289-296, 発行日 1999-03-20 |
|||||
| 出版者 | ||||||
| 出版者 | 福井工業大学 | |||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 2868571 | |||||
| 書誌レコードID | ||||||
| 識別子タイプ | NCID | |||||
| 関連識別子 | TF00009282 | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
