Synthesizing iterators from abstraction functions. Rayside, D., Montaghami, V., Leung, F., Yuen, A., Xu, K., & Jackson, D. In Generative Programming and Component Engineering, GPCE'12, Dresden, Germany, September 26-28, 2012, pages 31-40, 2012.
Synthesizing iterators from abstraction functions [pdf]Paper  bibtex   1 download  

Downloads: 1