Basic research on implementation technology for making SML# a practical polymorphic language
| Project/Area Number |
25280019
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Partial Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Tohoku University |
|---|
Principal Investigator |
OHORI Atsushi 東北大学, 電気通信研究所, 教授 (60252532)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
上野 雄大 東北大学, 電気通信研究所, 准教授 (60551554)
|
|---|
| Project Period (FY) |
2013-04-01 – 2018-03-31
|
| Project Status |
Completed (Fiscal Year 2017)
|
| Budget Amount *help |
¥8,190,000 (Direct Cost: ¥6,300,000、Indirect Cost: ¥1,890,000)
Fiscal Year 2017: ¥2,210,000 (Direct Cost: ¥1,700,000、Indirect Cost: ¥510,000)
Fiscal Year 2016: ¥2,990,000 (Direct Cost: ¥2,300,000、Indirect Cost: ¥690,000)
Fiscal Year 2015: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2014: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2013: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Keywords | SML# / コンパイラ / 実装方式 / 最適化 / コード分析 / コンパイル方式 |
|---|
| Outline of Final Research Achievements |
We conducted basic research on implementation technology for making SML# a practical polymorphic language. Major achievements include the following: (1) the development of code generation method for general purpose low-level code language and an LLVM back-end for SML#, (2) fully concurrent GC algorithm for multicore CPUs and its implementation, (3) SML# JSON support based on the type system of partially dynamic records, (4) a practical ERP system development with industry. We have implemented those achievements in the SML# compiler and have released the compiler. To enhance the robustness of the SML# compiler, we have also developed a systematic test environment of the SML# compiler.
|
Report
(6 results)
Research Products
(32 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] The Essence of Ruby2014
Author(s)
Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori
Organizer
12th Asian Symposium of Programming Languages and Systems
Place of Presentation
Singapore
Year and Date
2014-11-17 – 2014-11-19
Related Report
-
-
-
-
-
-
-
-
-
-
-
