Data-Parallel String-Manipulating Programs

DOI10.1145/2676726.2677014zbMath1345.68035OpenAlexW2097118641MaRDI QIDQ2819798

Todd Mytkowicz, Benjamin Livshits, David Molnar, Margus Veanes

Publication date: 29 September 2016

Published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10044/1/70953

zbMATH Keywords

satisfiability modulo theoriesstate space explorationsymbolic automatonsymbolic trandsducer

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of programming languages (68N15)

Related Items (1)

Extended symbolic finite automata and transducers

Uses Software

• StreamIt
• z3
• HAMPI

This page was built for publication: Data-Parallel String-Manipulating Programs