| Budget Amount *help |
¥22,620,000 (Direct Cost: ¥17,400,000、Indirect Cost: ¥5,220,000)
Fiscal Year 2012: ¥4,940,000 (Direct Cost: ¥3,800,000、Indirect Cost: ¥1,140,000)
Fiscal Year 2011: ¥5,460,000 (Direct Cost: ¥4,200,000、Indirect Cost: ¥1,260,000)
Fiscal Year 2010: ¥5,460,000 (Direct Cost: ¥4,200,000、Indirect Cost: ¥1,260,000)
Fiscal Year 2009: ¥6,760,000 (Direct Cost: ¥5,200,000、Indirect Cost: ¥1,560,000)
|
|---|
| Research Abstract |
There are two kinds of programming languages: statically typed languages, in which a program is subject to error-checking before running it; and dynamically typed languages, in which errors in a program are found only at its run time. They have both advantages and disadvantages. In this research we designed a new language which has both functionalities and studied its theory and implementation. As theoretical results, we obtained a type-checking algorithm for partially-typed programs, a method to perform run-time checks, and their correctness proofs, which show errors found at run-time can be attributed to a portion of programs that are not checked before running. We also devised an implementation scheme.
|
