DReX

swMATH16949MaRDI QIDQ28812FDOQ28812

Author name not available (Why is that?)

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
• Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
• FoCs
• Copilot

This page was built for software: DReX