An Inductive Inference Algorithm to Synthesize Prolog Programs from Specification by Example

スポンサーリンク

概要

• 論文の詳細を見る

• By utilizing an inductive inference method, we developed an automatic programming system LIPS (LIst-processing Program Synthesizer). This system synthesizes Prolog programs from its specification by example. LIPS employs three unique data structures in the program synthesis process. They are Data Metamorphosis History (DMH), Constant Argument Clause Set (CACS), and Variable Argument Clause Set (VACS). DMH shows the runtime behavior of arguments of the specification by example, when it was evaluated by a target pro-gram. CACS is generated from DMH and shows the runtime behavior of the target program when the data of the specification by example is entered. VACS, which shows the general runtime behavior of the target program, is a general form of CACS. In this paper, we show the details of these three data structures and some algorithms in order to generate them from the specification by example. The comparison of LIPS with other systems and future prospects of LIPS are also described.

• 一般社団法人情報処理学会の論文
• 1989-03-31

著者

• Kadokura Toshio

  Department Of Electrical Engineering School Of Science And Engineering Waseda University

• Fukazawa Y

  Waseda University

• Fukazawa Yoshiaki

  Department Of Electrical Engineering School Of Science And Engineering Waseda University

• NAKASE AKIHIKO

  Information Systems Laboratory, Toshiba Research and Development Center

• Nakase Akihiko

  Information Systems Laboratory Toshiba Research And Development Center

関連論文

• The Applicability of Formal Specification to Maintenance of Large-Scale Software
• Abstraction Mechanisms Supported by a Macro Processor
• Accessibility Evaluation for GUI Software Using Source Programs and Its Evaluation
• GUI Change Method according to Roles of Widgets and Change Patterns
• A Support Method for Widget Replacement to Realize High Usability and Its Evaluation(Metrics, Test, and Maintenance)(Knowledge-Based Software Engineering)
• An Inductive Inference Algorithm to Synthesize Prolog Programs from Specification by Example
• Influence of Organizational Change on Product Metrics and Defects

スポンサーリンク