文献

J-GLOBAL ID：202202239241774579   整理番号：22A1053021

依存性計算【JST・京大機械翻訳】

A Dependent Dependency Calculus

著者 (3件)： Choudhury Pritam (University of Pennsylvania, Philadelphia, PA, USA) ,  Eades Harley III (Augusta University, Augusta, GA, USA) ,  Weirich Stephanie (University of Pennsylvania, Philadelphia, PA, USA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13240  ページ： 403-430  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 20年以上前に,Abadiらは,タイプ化プログラミング言語における依存性を解析するための一般的目的フレームワークとして依存性コア計算(DCC)を確立した。それ以来,依存性解析は言語設計に対して多くの実用的利点を示し,その結果,ユーザとコンパイラがセキュリティ制約を強制し,他のアプリケーションの中でデッドコードを除去することができる。本研究では,この一般的なアイデアを,依存型言語の設定に拡張する依存性Calculus(DDC)を提示した。この計算を用いて,ランタイムとコンパイル時間無相関の両方を追跡し,高速型チェックとプログラム実行を可能にした。Copyright The Author(s) 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 言語 ,  コンパイラ ,  プログラミング言語 ,  依存性 ,  *計算 ,  言語設計 ,  応用プログラム ,  プログラム実行 ,  セキュリティ ,  フレームワーク【ソフトウェア開発】
準シソーラス用語： 情報フロー ,  依存タイプ ,  コンパイル , 【Automatic Indexing@JST】

著者キーワード (3件)： 依存型 ,  情報の流れ ,  無関係

分類 (2件)： 言語プロセッサ  (JD03040F) ,  応用プログラミング言語  (JD03052Y)

タイトルに関連する用語 (2件)： 依存性 ,  計算