Program Transformation in Calculational Form.
https://doi.org/10.1145/289121.289128
@article{DBLP:journals/csur/TakanoHT98,
author = {Akihiko Takano and
Zhenjiang Hu and
Masato Takeichi},
title = {Program Transformation in Calculational Form},
journal = {{ACM} Comput. Surv.},
volume = {30},
number = {3es},
pages = {7},
year = {1998},
url = {https://doi.org/10.1145/289121.289128},
doi = {10.1145/289121.289128},
timestamp = {Tue, 06 Nov 2018 12:50:48 +0100},
biburl = {https://dblp.org/rec/journals/csur/TakanoHT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签