An Approach to Construction of Functional Programs

スポンサーリンク

概要

• 論文の詳細を見る

• An approach to the construction of reliable functional recursive programs is proposed. If a programmer writes his/her programs as specified in our approach, called KANSUU, logical errors in the programs can be detected automatically. The termination of certain types of programs can also be confirmed automatically. Whenever a fragment of a functional program is given, its logical properties related to other fragments are inspected. Using automatic theorem proving techniques (propositional calculus), KANSUU indicates conditions which are necessary for the intended program. If the basic relations of functions and predicates have been given, then KANSUU may confirm the termination of functional recursive programs by using propositional calculus. Using KANSUU, we have implemented an interactive support system for functional recursive programming and a consultation system for Lisp programming. KANSUU can provide information for the correction of inconsistent fragments of given functional programs. This approach is different from the viewpoint of automatic program verification or traditional debugging aids. Moreover, KANSUU uses simple and efficient algorithms. Thus, this approach will be useful for building a comprehensive programming system.

• 一般社団法人情報処理学会の論文
• 1982-12-20

著者

• Nagata Morio

  Dept. Of Administration Engineering Faculty Of Engineering Keio University

• Nagata Morio

  Dept. Of Administration Engineering Faculty Of Science And Technology Keio University

関連論文

• An Approach to Construction of Functional Programs
• Interactive Debugging for Functional Recursive Programming (Mathematical Methods in Software Science and Engineering : Second Conference)

スポンサーリンク