Source-to-source conversion based on formal definition
From MaRDI portal
Publication:2277835
DOI10.1007/BF02945369zbMath0725.68030OpenAlexW2064038055MaRDI QIDQ2277835
Xiaojun Zhu, Jian-Xin Li, Xing'er Zhang, Jianning Dong
Publication date: 1991
Published in: Journal of Computer Science and Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02945369
Cites Work
This page was built for publication: Source-to-source conversion based on formal definition