Title :
Issues on deterministic transformation of logic-based program specification
Author_Institution :
Dept. of Inf. & Comput. Educ., Nat. Taiwan Normal Univ., Taipei, Taiwan
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
Keywords :
formal logic; logic programming; program processors; software reusability; Algol-like procedural language; automatic synthesis; design specifications; deterministic transformation; extended Horn logic clauses; hybrid-programming environment; logic-based program specification; software reusability; source program; target program; Artificial intelligence; Automatic logic units; Automatic programming; Computer science education; Educational programs; Formal specifications; Logic design; Software design; Software reusability; Software tools;
Conference_Titel :
Tools for Artificial Intelligence, 1990.,Proceedings of the 2nd International IEEE Conference on
Conference_Location :
Herndon, VA
Print_ISBN :
0-8186-2084-6
DOI :
10.1109/TAI.1990.130406
