Deterministic Higher-Order Patterns for Program Transformation.
https://doi.org/10.1007/978-3-540-25938-1_12
@inproceedings{DBLP:conf/lopstr/YokoyamaHT03,
author = {Tetsuo Yokoyama and
Zhenjiang Hu and
Masato Takeichi},
editor = {Maurice Bruynooghe},
title = {Deterministic Higher-Order Patterns for Program Transformation},
booktitle = {Logic Based Program Synthesis and Transformation, 13th International
Symposium {LOPSTR} 2003, Uppsala, Sweden, August 25-27, 2003, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3018},
pages = {128--142},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25938-1\_12},
doi = {10.1007/978-3-540-25938-1\_12},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/YokoyamaHT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签