| Budget Amount *help |
¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000)
Fiscal Year 2010: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2009: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2008: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Research Abstract |
To enhance effectiveness of software development while preserving the reliability of products, we developed a new programming language that supports both features of type safety (ability to detect type-relating errors before program execution) and scalable modularity (ability to construct products from software modules, which are also constructed from other fine-grained modules). We also developed a new programming language that supports dynamic module composition and decomposition, and realized a new mechanism for program verification.
|
