論文

査読有り
2023年4月8日

Equivalence Checking of Code Transformation by Numerical and Symbolic Approaches

Parallel and Distributed Computing, Applications and Technologies
  • Shunpei Sugawara
  • ,
  • Keichi Takahashi
  • ,
  • Yoichi Shimomura
  • ,
  • Ryusuke Egawa
  • ,
  • Hiroyuki Takizawa

開始ページ
373
終了ページ
386
記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)
DOI
10.1007/978-3-031-29927-8_29
出版者・発行元
Springer Nature Switzerland

リンク情報
DOI
https://doi.org/10.1007/978-3-031-29927-8_29
URL
https://link.springer.com/content/pdf/10.1007/978-3-031-29927-8_29
ID情報
  • DOI : 10.1007/978-3-031-29927-8_29
  • ISSN : 0302-9743
  • eISSN : 1611-3349
  • ISBN : 9783031299261
  • ISBN : 9783031299278

エクスポート
BibTeX RIS