重み付き型エラースライスの提案

DOI

書誌事項

タイトル別名
  • A Weighted Type-Error Slicer

抄録

本論文ではコンパイラに備わっている型推論器をそのまま使い，型エラースライスを作成する手法について述べる．特徴としては，他の部分と何度衝突したかという重みがついた型エラースライスを求めている．これまでの型エラースライスでは型エラーの可能性がスライスの各部分で一様であった．しかし，プログラムによっては，人の目から見て，明らかに可能性が異なると思われる例が存在する．本研究ではそのような例に対して，重みを付けた型エラースライスを求めることを目的とした．本手法の利点は2つ挙げられる．1つはコンパイラの型推論器を使用することである．それにより，型エラースライサの拡張性・保守性が高いという利点が得られる．もう1つは型エラースライスに重みを付けたことである．それによって型デバッグの際にスライス内でどこに注目するのが良いかという指針が得られる．本論文ではまずコンパイラの型推論器を使用した型エラースライサを提案し，それを拡張して重み付き型エラースライスを求める方法について述べる．

収録刊行物

関連プロジェクト

もっと見る

詳細情報 詳細情報について

  • CRID
    1390282679715064320
  • NII論文ID
    130004706728
  • DOI
    10.11309/jssst.31.4_131
  • ISSN
    02896540
  • 本文言語コード
    ja
  • データソース種別
    • JaLC
    • CiNii Articles
    • KAKEN
  • 抄録ライセンスフラグ
    使用不可

問題の指摘

ページトップへ