プログラムの停止性・非停止性を検査するエキスパート・システムの構築

• Project/Area Number: 01750310
• Research Category: Grant-in-Aid for Encouragement of Young Scientists (A)
• Allocation Type: Single-year Grants
• Research Field: 計算機工学
• Research Institution: Hokkaido University
• Principal Investigator: 栗原 正仁 北海道大学, 工学部, 助手
• Project Period (FY): 1989
• Project Status: Completed (Fiscal Year 1989)
• Budget Amount: ¥1,000,000 (Direct Cost: ¥1,000,000); Fiscal Year 1989: ¥1,000,000 (Direct Cost: ¥1,000,000)