DReX

MaRDI QIDQ28812swMATHFDO

Official website http://dl.acm.org/citation.cfm?doid=2676726.2676981

Described by source

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

Cited in

(4)

• Foundations of Boolean stream runtime verification
• FoCs
• Copilot
• Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

This page was built for software: DReX