Derek Rayside, Vajih Montaghami, Francesca Leung, Albert Yuen, Kevin Xu, Daniel Jackson. Synthesizing iterators from abstraction functions. In Klaus Ostermann, Walter Binder, editors, Generative Programming and Component Engineering, GPCE'12, Dresden, Germany, September 26-28, 2012. pages 31-40, ACM, 2012. [doi]
@inproceedings{RaysideMLYXJ12,
title = {Synthesizing iterators from abstraction functions},
author = {Derek Rayside and Vajih Montaghami and Francesca Leung and Albert Yuen and Kevin Xu and Daniel Jackson},
year = {2012},
doi = {10.1145/2371401.2371407},
url = {http://doi.acm.org/10.1145/2371401.2371407},
researchr = {https://researchr.org/publication/RaysideMLYXJ12},
cites = {0},
citedby = {0},
pages = {31-40},
booktitle = {Generative Programming and Component Engineering, GPCE'12, Dresden, Germany, September 26-28, 2012},
editor = {Klaus Ostermann and Walter Binder},
publisher = {ACM},
isbn = {978-1-4503-1129-8},
}