書誌事項
- タイトル別名
-
- SML#:最先端の機能と高い実用性を実現する次世代多相型プログラミング言語
- SML サイセンタン ノ キノウ ト タカイ ジツヨウセイ オ ジツゲンスル ジセダイ タソウガタ プログラミング ゲンゴ
- Development of Advanced Development of Fundamental Software through Tight Collaboration of Academia and Industry:SML# A New Language in the ML Family
この論文をさがす
抄録
SML#は,文部科学省委託研究e-Society基盤ソフトウェアの総合開発の課題「プログラム自動解析に基づく高信頼ソフトウェアシステムの構築技術」の主要な実現目標の1つとして,東北大学電気通信研究所が有限会社算譜工房と共同で開発してきたML系次世代高信頼プログラミング言語である.レコード多相性,ランク1多相性,データベースの多相型理論,相互運用性の型理論,型主導コンパイル理論などの我々の基礎研究成果に基づく種々の機能を含む最先端のML系言語であるばかりでなく,C言語やJAVA,データベースとのシームレスな連携,多バイト文字処理等のライブラリ,自動プログラミングツールなどをサポートする実用性の高い言語を目指している.本稿では,SML#の開発の背景と意図を概観した後,SML#の特徴をプログラム例などを用いて紹介する.
収録刊行物
-
- 情報処理
-
情報処理 49 (11), 1246-1250, 2008-11-15
東京 : 情報処理学会 ; 1960-
- Tweet
キーワード
詳細情報 詳細情報について
-
- CRID
- 1050845762825569280
-
- NII論文ID
- 110006990093
-
- NII書誌ID
- AN00116625
-
- ISSN
- 04478053
-
- NDL書誌ID
- 9718458
-
- 本文言語コード
- ja
-
- 資料種別
- departmental bulletin paper
-
- データソース種別
-
- IRDB
- NDL
- CiNii Articles