Issues on deterministic transformation of logic-based program specification

Author

Lin, Janet M.

Author_Institution

Dept. of Inf. & Comput. Educ., Nat. Taiwan Normal Univ., Taipei, Taiwan

fYear

1990

fDate

6-9 Nov 1990

Firstpage

603

Lastpage

609

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/TAI.1990.130406

Filename

130406