Proposal and Evaluation for A Method to Verify Equivalence of Specifications of C and Java Functions with Recursive Data Structures by SAW: Case Studies of Linear Structures and Binary Trees
オープンアクセス
書誌事項
- タイトル
- Proposal and Evaluation for A Method to Verify Equivalence of Specifications of C and Java Functions with Recursive Data Structures by SAW: Case Studies of Linear Structures and Binary Trees
- 著者
- Rin Karashima, Kozo Okano, Shinpei Ogata, Satoshi Harauchi, and Toshifusa Sekizawa
収録刊行物
-
- International Journal of Informatics Society,
-
International Journal of Informatics Society, Vol.12, No.3, pp.143-156 143-156, 2021