Please use this identifier to cite or link to this item: http://rportal.lib.ntnu.edu.tw:80/handle/77345300/34696
Title: Issues on Deterministic Transformation of Logic-Based Program Specification
Authors: 國立臺灣師範大學資訊教育研究所
Lin, Janet Mei-Chuen
Issue Date: 6-Nov-1990
Publisher: IEEE
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.
URI: http://rportal.lib.ntnu.edu.tw/handle/77345300/34696
ISBN: 081-862-084-6
Other Identifiers: ntnulib_tp_A0906_02_002
Appears in Collections:教師著作

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.