Equational reasoning about programs with general recursion and call-by-value semantics

Web Site

書誌事項

タイトル別名
  • Special issue : Advanced Programming Techniques for Construction of Robust, Generic and Evolutionary Programs

この論文をさがす

説明

コレクション : 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 独立行政法人

収録刊行物

  • Progress in informatics

    Progress in informatics (10), 19-46, 2013-03

    Tokyo : Research Organization of Information and Systems

キーワード

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

問題の指摘

ページトップへ