文献
J-GLOBAL ID:201202217687739473   整理番号:12A0581825

限界付き空間における高次関数反応プログラミング

Higher-Order Functional Reactive Programming in Bounded Space
著者 (3件):
資料名:
巻: 47  号:ページ: 45-58  発行年: 2012年01月 
JST資料番号: D0915A  ISSN: 0362-1340  資料種別: 逐次刊行物 (A)
記事区分: 原著論文  発行国: アメリカ合衆国 (USA)  言語: 英語 (EN)
抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
汎用目的命令的言語による反応系のプログラミングはプログラムの異なった部分が構造化制御フローによって相互作用しないので好ましくない。Elliott等によって導入された関数反応プログラミング(FRP)はプリミティブな抽象として時変値に対して機能し,同期言語より非常に豊富なモデルを提供する。しかしながら,従来のFRPモデルの実装は望ましくない空間リークを招く事がある。本論文において,筆者らはFRPに対する超計量アプローチを拡張する事によって空間リークの問題を解決した。また,’完全超計量長空間’の見地において限界付き高次関数反応プログラミングに対する表示的モデルを与えた。これは超計量距離測度及びサイズ関数双方をもたらす。直感的に,使われる計量は良好な時間的挙動を強制する一方,サイズ測度は良好な空間的挙動を強制する。
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

準シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

分類 (1件):
分類
JSTが定めた文献の分類名称とコードです
応用プログラミング言語 
タイトルに関連する用語 (3件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです

前のページに戻る