×

zbMATH — the first resource for mathematics

Found 8 Documents (Results 1–8)

100
MathJax
Alpuente, María (ed.), Logic-based program synthesis and transformation. 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20550-7/pbk). Lecture Notes in Computer Science 6564, 84-98 (2011).
MSC:  68N18 68U35
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 353-366 (2008).
PDF BibTeX XML Cite
Full Text: DOI