文献

J-GLOBAL ID：202002253983530415   整理番号：20A1797065

ライン:タイプレベル時計を有するFRP【JST・京大機械翻訳】

Rhine: FRP with type-level clocks

著者 (2件)： Baerenz Manuel (University of Vienna, Austria) ,  Perez Ivan (National Institute of Aerospace, USA)
資料名： ACM Proceedings  (ACM Proceedings)
号： Haskell 2018  ページ： 145-157  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 異なる速度における処理データは,一般に,反応性プログラミングにおける難しい問題である。バッファリング問題,遅れ,および同時発生問題がしばしば発生する。これらの問題の多くはクロック誤差であり,そこでは異なるレートでのデータが不正確に結合された。タイプレベルクロックと決定論的スケジューリングのようなクロック誤差を避ける技術は,同期プログラミングの分野に存在するが,Haskellのような汎用言語では実行されていない。ラインは同期および非同期機能反応性プログラミング(FRP)のためのクロック安全ライブラリである。それは,互いからクロック,スケジューリングおよび再サンプリングの側面を分離して,タイプレベルでクロック安全性を確実にする。同時通信は安全にカプセル化される。多様な反応性サブシステムは,コヒーレントで宣言的なデータフローフレームワークに組み合わせることができるが,異なるレートでのデータの正しいインタオペラビリティは,タイプレベルクロックによって保証される。これは,マルチレートFRPシステムを単純化し,ゲーム開発,メディアアプリケーション,GUIおよび組込みシステムに対して,多くの再使用可能部品を有する柔軟なAPIを介して使用できる汎用フレームワークを提供する。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： コヒーレンス ,  簡素化 ,  ゲーム ,  言語 ,  スケジューリング ,  *クロック ,  応用プログラム ,  緩衝作用 ,  再利用 ,  同時発生 ,  インタオペラビリティ ,  組込みシステム
準シソーラス用語： サブシステム ,  決定論 ,  Haskell , 【Automatic Indexing@JST】

著者キーワード (4件)： 非同期プログラミング ,  機能的反応プログラミング ,  Haskell ,  リアクティブプログラミング

分類 (2件)： 集積回路一般  (NC03161C) ,  CAD,CAM  (JE10000A)

タイトルに関連する用語 (3件)： タイプ ,  時計 ,  FRP