文脈移動法によるプログラム変換の正当性について On the Correctness of Context-Moving Transformations

この論文をさがす

収録刊行物

  • 日本ソフトウェア科学会大会論文集

    日本ソフトウェア科学会大会論文集 32, 4p, 2015-09-09

    [日本ソフトウェア科学会]

各種コード

  • NII論文ID(NAID)
    40020657250
  • NII書誌ID(NCID)
    AN10158574
  • 本文言語コード
    JPN
  • ISSN
    0913-5391
  • NDL 記事登録ID
    026942701
  • NDL 請求記号
    Z14-1245
  • データ提供元
    NDL 
ページトップへ