変換戦略の記述に基づくプログラムの自動生成システムの実装  [in Japanese] Automatic Generation of Programs Based on High Level Strategy Description  [in Japanese]

プログラムの自動生成においては,変換規則の汎用性を高めるために,変換規則と変換規則の適用順序を制御することが重要である.変換規則と変換戦略を記述する理論的枠組みであるCCP(Calculation Carrying Program)についてはすでに報告しているが,筆者らの知る限りにおいては計算機上で稼動されたという報告はなく,CCPによる大きなプログラムの変換についての報告もない.本論文では,CCPの処理系を実装する方法を考察し,計算機上で実際に最大マーク付け問題のプログラムの自動生成について検討を行い,本システムの有効性を示す.

To relax the tension between clarity and efficiency in programming, we have proposed a theoretical framework called calculation carrying program, which accompanies straightforward specification with calculation specifying the intention (strategy) in a highly abstract way. In this paper, we give its first implementation, showing the system which not only automatically derives efficient programs from initial inefficient specification, but also interactively helps programmers to debug derivation steps. Furthermore, to show its power, we demonstrate how to use our system to generate efficient programs for solving maximum marking problems.