検索結果 1 - 2 結果 / 2 検索語 '"Programming language semantics"', 処理時間: 0.93秒 結果の絞り込み
  1. 1
    Proving Properties of Programs on Hierarchical Nominative Data

    Proving Properties of Programs on Hierarchical Nominative Data 著者: Ievgen Ivanov, Mykola Nikitchenko, Volodymyr G. Skobelev

    出版事項 2016-12-01
    主題: “…Programming language semantics…”
    全文の入手
    論文
  2. 2
    Lifting Transformations

    Lifting Transformations 著者: McAllester, David, Siskind, Jeffrey

    出版事項 2004
    主題:
    全文の入手

検索ツール: