帰納推論を応用したプログラム検証と記号実行に基づく対話型デバッギングシステムの構

• Project/Area Number: 60780045
• Research Category: Grant-in-Aid for Encouragement of Young Scientists (A)
• Allocation Type: Single-year Grants
• Research Field: Informatics
• Research Institution: Osaka University
• Principal Investigator: 山口 高平 大阪大学, 産業科学研究所, 助手 (20174617)
• Project Period (FY): 1985
• Project Status: Completed (Fiscal Year 1985)
• Budget Amount: ¥900,000 (Direct Cost: ¥900,000); Fiscal Year 1985: ¥900,000 (Direct Cost: ¥900,000)