×

zbMATH — the first resource for mathematics

Data-parallel string-manipulating programs. (English) Zbl 1345.68035
Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 139-152 (2015).

MSC:
68N15 Theory of programming languages
68Q45 Formal languages and automata
Software:
HAMPI; StreamIt; z3
PDF BibTeX XML Cite
Full Text: DOI