Issues on Deterministic Transformation of Logic-Based Program Specification
| dc.contributor | 國立臺灣師範大學資訊教育研究所 | zh_tw |
| dc.contributor.author | Lin, Janet Mei-Chuen | en_US |
| dc.date.accessioned | 2014-10-30T09:32:36Z | |
| dc.date.available | 2014-10-30T09:32:36Z | |
| dc.date.issued | 1990-11-06 | zh_TW |
| dc.description.abstract | Issues of logic-based program transformation are discussed, and a method for transforming a source program expressed as a set of extended Horn clauses into a target program in an Algol-like procedural language is presented. The potential applications of this transformation method include (1) automatic synthesis of programs from design specifications which are either written in or translatable into extended Horn logic clauses, (2) adaptation of existing logic programs to a procedural execution environment in order to improve execution efficiency or facilitate reusability of the software, and (3) support of a hybrid-programming environment. | en_US |
| dc.description.uri | http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=130406 | zh_TW |
| dc.identifier | ntnulib_tp_A0906_02_002 | zh_TW |
| dc.identifier.isbn | 081-862-084-6 | zh_TW |
| dc.identifier.uri | http://rportal.lib.ntnu.edu.tw/handle/20.500.12235/34696 | |
| dc.language | en | zh_TW |
| dc.publisher | IEEE | en_US |
| dc.relation | Proceedings of IEEE International Conference on Tools for Artificial Intelligence, 603 - 609. | en_US |
| dc.relation.uri | http://dx.doi.org/10.1109/TAI.1990.130406 | zh_TW |
| dc.title | Issues on Deterministic Transformation of Logic-Based Program Specification | en_US |