| Budget Amount *help |
¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2018: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2017: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2016: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2015: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
|
|---|
| Outline of Final Research Achievements |
We conducted research on systematic design and implementation of a practical programming language. Major achievements includes the following: (1) By applying the idea of record polymorphism, we decomposed the Ruby language into a set of simple calculi and composed them systematically into the operational semantics of the whole langauge. In addition, we built an interpreter from the semantics. (2) In cooperation with the Ruby development team, we developed a type profiler and type checker for the Ruby language. A part of this development is based on the decompositional understanding of Ruby's operational semantics. (3) For functional programming language development, we developed a technique for typed JSON manipulation in a statically-typed language and concurrent garbage collector that does not stop the world.
|
