暗黙的計算量の実現【JST・京大機械翻訳】

Aubert Clement; Rubiano Thomas; Rusch Neea; Seiller Thomas

プレプリント

J-GLOBAL ID：202202218144728726 整理番号：22P0301871

暗黙的計算量の実現【JST・京大機械翻訳】

Realizing Implicit Computational Complexity

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (4件)： , , ,
資料名：
発行年： 2022年03月10日プレプリントサーバーでの情報更新日： 2022年05月25日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

この要約は,成熟の異なる段階で3つの異なる方法で変数間の依存性を追跡する,陰的計算複雑性(ICC)から生じる新規タイピング機構を適用するための進行中の努力を提示することを目的とする。第1および第3のプロジェクトは,元のタイピング規律を曲げて,不変で,そして,それらをより効率的に並列化するためにループを分割することによって,ループを最適化するため,ステートメント独立性に関するより微細粒の見解を得た。第2のプロジェクトは,高速,モジュール型静的アナライザを得るために,元の解析を洗練し,実装する。すべての3つのプロジェクトは,ICCから発想された元のタイプシステムを,その限界に押し込むことを目標とし,ICCが実際にどのように元の,時々直交するアプローチを導くかを評価する。【JST・京大機械翻訳】

, ,

遺伝学研究法

前のページに戻る