| Budget Amount *help |
¥3,240,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥540,000)
Fiscal Year 2010: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2009: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2008: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2007: ¥900,000 (Direct Cost: ¥900,000)
|
|---|
| Research Abstract |
We aimed at developing integrated development systems for implicitly typed functional languages based on program transformation techniques. With investigating the current status of the systems, we have developed basic mechanism of variable completion systems. As a first step toward developing practical systems, we considered a simple case : up to the cursor position the program text is given completely. With this assumption we specified a variable completion problem for an implicitly typed core functional language with let polymorphism and then developed an algorithm for solving the problem. The algorithm has a desirable property that all and only the variables that should be candidates are computed as the candidates. Based on the algorithm we have implemented a variable completion system for the language as an Emacs mode.
|
