関数呼び出しを持つプログラムの非線形ループ不変式の自動生成  [in Japanese] Automatic Generation of Non-linear Loop Invariants for Programs with Function Calls  [in Japanese]

Search this Article

Author(s)

Journal

  • 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス

    電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 111(406), 39-44, 2012-01-19

References:  14

Codes

  • NII Article ID (NAID)
    10031113536
  • NII NACSIS-CAT ID (NCID)
    AN10013287
  • Text Lang
    JPN
  • Article Type
    ART
  • Data Source
    CJP 
Page Top