ポインタのあるプログラミング言語のための資源使用法解析
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,C言語のようなポインタのある言語に対して,計算資源の使用法を検証するための型システムを与える.この型システムに基づいて型検査を行うことにより,ファイルやメモリなどの計算資源が正しい順序でアクセスされることを自動検証することができる.我々の型システムは,小林と末永によって提案された,Cプログラムのmallocとfreeの使用法を検証するための型システムの拡張であり,その特徴は,ポインタや計算資源の型に対して所有権と呼ばれるアクセスの権限と義務を表す情報を付加したことにある.所有権を有理数で表現することにより,型検査の問題を有理数上の線形計画法に帰着し,多項式時間で解くことができる.
- 2010-09-22
著者
関連論文
- 木星型惑星の構造と形成
- シューメイカー・レビー彗星と木星との衝突シミュレーション(シューメーカー=レビー第9彗星の木星衝突)
- 計算資源使用法検証における計算資源の仕様と実際の使用法との間の適合性検証アルゴリズム
- JVMにおけるロックの整合性検証のための新しい型システム
- 動的に型付けされた言語のためのオンラインな型主導部分評価(特集●プログラミング及びプログラミング言語)
- POPL/PEPM'99会議報告
- AFMセンサのための圧電薄膜の形成
- P228 T型ラインマイクロホンのノイズ減殺効果
- P369 T型ラインマイクロホンを用いた微気圧振動の観測
- T型ラインマイクロホンを用いた微気圧振動の観測(序報)
- 地球のささやきを聞く--常時地球自由振動の発見
- 41052 住宅内室温分布の要因分析とその評価方法に関する研究 : その1 暖房期における住宅内室温分布推定法の提案(住宅の暖房負荷,環境工学II)
- 41053 住宅内室温分布の要因分析とその評価方法に関する研究 : その2 累積確率を用いた暖房期の室温分布と暖房負荷の評価(住宅の暖房負荷,環境工学II)
- 41054 住宅内室温分布の要因分析とその評価方法に関する研究 : その3 標準住宅モデルを用いた室温分布と空調負荷のシミュレーション(住宅の暖房負荷,環境工学II)
- ポインタのあるプログラミング言語のための資源使用法解析
- 常時自由震動:大気と固体地球のカップリングの重要性
- 並行プログラミング言語へのチャネル使用法宣言の導入
- 042 住宅の室温分布と熱負荷の評価方法に関する研究 : その2 室温分布と空調負荷のシミュレーション(熱・暖冷房,講演研究論文、計画・技術報告)
- 041 住宅の室温分布と熱負荷の評価方法に関する研究 : その1 累積確立を用いた室温分布と熱負荷の評価法(熱・暖冷房,講演研究論文、計画・技術報告)
- 051 住宅室内温度の標準偏差と暖房期・冷房期における空調用エネルギー消費量の関係(熱環境・エネルギー,講演研究論文・計画技術報告)
- 検証済み型推論器生成のためのCoqライブラリ
- 並列言語の高レベルなデータの通信における型を利用した最適化について
- An Empirical Analysis of the Information Content of the Announcements of Impaired Assets in Japan
- 木構造処理からストリーム処理プログラムへの変換のための部分的バッファリングの挿入
- 低レベル言語のための情報流解析の型システム(プログラミングおよびプログラミング言語)
- ポスト壁キャビティ付きスロット八木・宇田アレーを用いた平面マルチセクタアンテナ
- POPL2002/PEPM2002/PADL2002報告(プログラミング及びプログラミング言語)
- 型エラースライシングによるデッドロックの原因特定
- B-1-159 キャビティ壁をスルーホールで構成したプリントスロット八木・宇田アレーアンテナ
- 大気海洋の窓としての固体地球--固体地球常時自由振動 (総特集 海半球観測研究の進展)
- 文脈自由言語と超決定性言語の包含判定問題の決定可能性の型理論を用いた証明
- リージョン推論に基づくメモリ管理の下でのガーベジコレクション
- 彗星衝突による木星振動の励起(「木星に衝突する彗星 : シューメイカー・レビー9」)
- Constraint Satisfaction in Logic Programming, Paseal Van Hentenryck, The MIT Press, 1989 (制約論理プログラミング)
- 207 火星の常時自由振動(火星と水星の科学,オーラルセッション5)