DReX

swMATH16949MaRDI QIDQ28812FDOQ28812

Author name not available (Why is that?)

Described by source

• DReX: a declarative language for efficiently evaluating regular string transformations

Cited In (3)

• Foundations of Boolean stream runtime verification
• Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
• Regular transducer expressions for regular transformations

This page was built for software: DReX