Synthesizing iterators from abstraction functions

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.