| タイトル | An engineering approach to automatic programming |
| 本文（外部サイト） | http://hdl.handle.net/2060/19900018001 |
| 著者（英） | Rubin, Stuart H. |
| 著者所属（英） | University of Central Michigan |
| 発行日 | 1990-05-01 |
| 言語 | eng |
| 内容記述 | An exploratory study of the automatic generation and optimization of symbolic programs using DECOM - a prototypical requirement specification model implemented in pure LISP was undertaken. It was concluded, on the basis of this study, that symbolic processing languages such as LISP can support a style of programming based upon formal transformation and dependent upon the expression of constraints in an object-oriented environment. Such languages can represent all aspects of the software generation process (including heuristic algorithms for effecting parallel search) as dynamic processes since data and program are represented in a uniform format. |
| NASA分類 | COMPUTER PROGRAMMING AND SOFTWARE |
| レポートNO | 90N27317 |
| 権利 | No Copyright |
| URI | https://repository.exst.jaxa.jp/dspace/handle/a-is/136755 |
