|
ML系多相型言語SML#の実用化技術に関する基礎研究を行い、(１) 汎用の低レベル言語用コード生成方式の構築およびLLVM向けのバックエンドの開発、(２)並行GC方式とアルゴリズムの構築およびマルチコアにスケールする並行GCシステムの開発と実装、(３)部分動的レコードを用いたJSONデータ操作方式の開発と実装、(４)産業界と連携した実用ERPシステムの開発、等の成果をあげ、これら成果をSML#コンパイラに実装し、世界に向けて継続的にリリースした。また、これら成果を含むSML#コンパイラの系統的なテスト環境を構築し、コンパイラの堅牢性を高めた。
|
