2017 Fiscal Year Final Research Report
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
|
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.
|
Free Research Field |
ソフトウェア
|