Development of next-generation multi-paradigm programming languages based on higher-order rewriting systems

• Project/Area Number: 24K02919
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 60050:Software-related
• Research Institution: Kyushu Institute of Technology
• Principal Investigator: 浜名 誠 九州工業大学, 大学院情報工学研究院, 教授 (90334135)
• Project Period (FY): 2024-04-01 – 2029-03-31
• Project Status: Granted (Fiscal Year 2024)
• Budget Amount: ¥18,460,000 (Direct Cost: ¥14,200,000、Indirect Cost: ¥4,260,000); Fiscal Year 2028: ¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000); Fiscal Year 2027: ¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000); Fiscal Year 2026: ¥2,990,000 (Direct Cost: ¥2,300,000、Indirect Cost: ¥690,000); Fiscal Year 2025: ¥4,940,000 (Direct Cost: ¥3,800,000、Indirect Cost: ¥1,140,000); Fiscal Year 2024: ¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000)
• Keywords: ソフトウェア科学 / 書換え系 / 代数仕様 / プログラム理論 / 関数プログラミング

Outline of Research at the Start

情報システムが社会基盤として重要になる中、ソフトウェアの安全性が大きな課題となっている。ソフトウェアを高機能化し、高い信頼性保証を与えるには、強力で適用範囲が広く厳密な理論に基づくソフトウェア技術が必要である。
この解決のために、高階書換え系を次世代ソフトウェアに対応できるように拡張する理論研究を行なう。高階書換系はλ計算、項書換え、型理論を内包する計算モデルである。さらに広範囲な応用のために、モジュラ性、評価機構、単一化機構を取り入れ拡張し、関数型、関数論理型、手続き型言語、またそれらを融合したマルチパラダイム・プログラミング言語へ応用する。