Robin Milner : A Proposal for Standard ML(20世紀の名著名論)
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 2005-12-15
著者
関連論文
- 実行コンテキストに応じたポリシー指定が可能なサンドボックス(セキュリティ)
- カーネルレベルルートキットの検知システムの構築(セッション3:高セキュア・高信頼化)
- なぜソフトウェア論文を書くのは難しい(と感じる)のか
- 4.並列計算パターン(スケルトン)による並列プログラミング(マルチコアを活かすお手軽並列プログラミング)
- 世代別Mostly-Copying GCのRuby VMへの実装と評価
- 世代別Mostly-Copying GCのRuby VMへの実装に向けて
- ブラウザで動作するウェブアプリケーションのソースコード隠蔽機構
- サーバ/クライアント自動分割を備えたWebフレームワークの設計と実装
- Haskellプログラムの開発を支援するGHCiデバッガフロントエンド
- 図表的文書の記述モデルAFAL
- プログラムの更新を可能とするCheckpoint/Restart機構
- メソッド実行委託を用いたRubyプロセスの負荷分散ライブラリ
- 純関数型言語の処理系における効率的な枝刈り機構の実装
- 特集「最新コンパイラ技術とCOINSによる実践」の編集にあたって
- 非同期処理のためのJavaScriptマルチスレッドフレームワーク
- リクエスト待機間隔を考慮したウェブサーバのkeep-alive時間の自動設定
- 要求駆動計算における要求粒度調節機構(プログラミング言語の設計)
- ユーザ入力の構文木解析によるSQLインジェクション攻撃防御法
- 要求の粒度が調節可能な遅延評価機構
- 枝刈り機構とメモ化機構をもつ言語
- プログラミング研究会(研究会千夜一夜)
- Robin Milner : A Proposal for Standard ML(20世紀の名著名論)
- ストリームベースXML処理を支援するJavaクラス生成器
- プログラムの更新を可能とする Checkpoint/Restart 機構
- スケルトン並列プログラミング
- 最適化機構を持つC++並列スケルトンライブラリ(サイバー増大ページ論文概要,サイバー増大号)
- 需要変化に動的に対応する伸縮自在サーバ群の基本機構(コンピュータシステム)
- 特定のフォーマットに依存しない文書処理系の設計と実装
- P2P型ファイル検索における高スループット・ピアの自動選択機構(インターネットとセキュリティ)
- モバイルコード技術によるアプリケーション層プロトコルのユーザ透過な配布機構(ソフトウェアシステム)
- D.E.Knuth, J.H.Morris, V.R.Pratt : Fast Pattern Matching in Strings(20世紀の名著名論)
- 排他制御機構を選択できるクリティカルセクションの設計と実装
- ビットマップマーキングを利用したマークコンパクトごみ集めのJikes RVMへの実装
- 「情報処理学会論文誌 : プログラミング」の編集について
- Ruby on Railsにおけるテストケース自動生成の提案と実装
- 低優先度処理を指定可能なリアルタイム処理向けI/Oスケジューラ