The Power of Regular Constraint Propagation
| Title: | The Power of Regular Constraint Propagation |
|---|---|
| Authors: | Hague, Matthew; Jeż, Artur; Lin, Anthony Widjaja; Markgraf, Oliver; Rümmer, Philipp |
| Source: | Proceedings of the ACM on Programming Languages. 9(OOPSLA2):3203-3231 |
| Availability: | http://dl.acm.org/doi/10.1145/3763165 |
| Database: | ACM Full-Text Collection |