3.SML#:最先端の機能と高い実用性を実現する次世代多相型プログラミング言語(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,<特集>学と産の連携による基盤ソフトウェアの先進的開発)
スポンサーリンク
概要
- 論文の詳細を見る
SML#は,文部科学省委託研究e-Society基盤ソフトウェアの総合開発の課題「プログラム自動解析に基づく高信頼ソフトウェアシステムの構築技術」の主要な実現目標の1つとして,東北大学電気通信研究所が(有)算譜工房と共同で開発してきたML系次世代高信頼プログラミング言語である.レコード多相性,ランク1多相性,データベースの多相型理論,相互運用性の型理論,型主導コンパイル理論などの我々の基礎研究成果に基づく種々の機能を含む最先端のML系言語であるばかりでなく,C言語やJava,データベースとのシームレスな連携,多バイト文字処理等のライブラリ,自動プログラミングツールなどをサポートする実用性の高い言語を目指している.本稿では,SML#の開発の背景と意図を概観した後,SML#の特徴をプログラム例などを用いて紹介する.
- 2008-11-15
著者
関連論文
- パネル討論会 : 理輪は実践を導けるか,実践は理論を生かせるか? : 第1回プログラミング : 言語・基礎・実践 研究会報告
- 高階遠隔手続き呼出しに基づいたC言語について (分散オペレーティングシステム)
- A-031 コンパイラ構築の証明論的枠組み(モデル・アルゴリズム・プログラミング,一般論文)
- Peter J. Denning : The Working Set Model for Program Behavior(20世紀の名著名論)
- 動的永続性へのアプローチ (高度データベース論文特集)
- 型付高階モーバイル言語の設計
- MLプログラミング入門(IV)
- MLプログラミング入門(III)
- MLプログラミング入門(II)
- MLプログラミング (I)
- ML : 多相型システムをもつ関数型言語 (プログラミング言語最新情報1)
- 第19回POPL
- 3. オブジェクト指向データベースの技術的諸問題 3.1 オブジェクト指向データベースの形式化 (オブジェクト指向データベースシステム)
- 3.SML#:最先端の機能と高い実用性を実現する次世代多相型プログラミング言語(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 制御フローの合流のための計算系
- A-030 MLとC間の多相型外部関数インターフェース(モデル・アルゴリズム・プログラミング,一般論文)
- 3M-1 プログラミング言語SML#(リーディングプロジェクト e-society:高信頼プログラミング言語と構造化文書変換技術,一般セッション,リーディングプロジェクト e-society)