Works(作品等)

2006年1月 - 現在

次世代高信頼プログラミング言SML#コンパイラの開発とリリース

  • 共同開発者
  • ,
  • 大堀 淳
  • ,
  • 上野雄大
  • ,
  • 開発協力者多数

作品分類
コンピュータソフト

SML#は、SQLの統合等、実用上重要な種々の先端機能をML系関数型言語に統合した次世代高信頼プログラミング言語である.ACM ICFPを含む種々の招待講演(基調講演)や、ICFPの研究トピックにリストされるなど、関数型言語の国際・国内コミュニティに注目され、さらに、複数の産学連携プロジェクトを通じた産業界での使用実績をもつ。 SML#のコンパイラは、2006年の0.1版から3.40版までの計35版が継続して世界にリリースされ、現在も開発を続けている。

リンク情報
URL
http://www.pllab.riec.tohoku.ac.jp/smlsharp/